Assertion list
stub (primary) → HasProperty
Results from Ascent++: 3
stub → HasProperty → useful 0.53
stub → HasProperty → long 0.32
stub → HasProperty → efficient 0.16