Assertion list
instruction (primary) → HasProperty
Results from Ascent++: 1
instruction → HasProperty → long 0.25