Assertion list
thrash (primary) → HasProperty

Results from Ascent++: 1
thrashHasProperty aggressive 0.68