Assertion list
gather (primary) → HasProperty
Results from Ascent++: 2
gather → HasProperty → impossible 0.32
gather → HasProperty → slow 0.16