Assertion list
discard (primary) → HasProperty
Results from Ascent++: 1
discard → HasProperty → good 0.29