Assertion list
region (aspect of transistor ) → HasA
Results from Ascent++: 1
region → HasA → quadrilateral shape 0.31