Assertion list
good catch (subgroup of catch ) → ReceivesAction
Results from Ascent++: 1
good catch → ReceivesAction → made 0.40