Assertion list
element (aspect of queue ) → HasA
Results from Ascent++: 2
element → HasA → pointer 0.41
element → HasA → datum 0.29