Assertion list
abort (primary) → ReceivesAction
Results from Ascent++: 1
abort → ReceivesAction → thrown 0.25