Assertion list
catch (primary) → HasSubevent
Results from Ascent++: 1
catch → HasSubevent → first down 0.25