Assertion list
pointer (primary) → HasA
Results from Ascent++: 6
pointer → HasA → same representation 0.58
pointer → HasA → alignment requirements 0.53
pointer → HasA → the address of a variable 0.40
pointer → HasA → tip 0.38
pointer → HasA → information 0.30
pointer → HasA → weight 0.28