Assertion list
pointer (primary) → IsA
Results from Ascent++: 2
pointer → IsA → variable 0.65
pointer → IsA → special kind of variable 0.35