Assertion list
abort (primary) → HasProperty
Results from Ascent++: 1
abort → HasProperty → synchronous 0.41