Assertion list
hippy (primary) → HasProperty
Results from Ascent++: 1
hippy → HasProperty → free 0.16