Assertion list
smooth (primary) → HasProperty
Results from Ascent++: 1
smooth → HasProperty → fast 0.68