Assertion list
current exception (subgroup of exception ) → ReceivesAction
Results from Ascent++: 2
current exception → ReceivesAction → thrown 0.68
current exception → ReceivesAction → handled 0.55