Assertion list for term "composed of p-type impurity diffusion regions".

Results from Ascent++: 1
drain ReceivesActioncomposed of p-type impurity diffusion regions 0.30