Assertion list
unhandled exception (subgroup of exception ) → ReceivesAction
Results from Ascent++: 2
unhandled exception → ReceivesAction → thrown 0.84
unhandled exception → ReceivesAction → propagated 0.25