Assertion list for term "handled in the catch block".

Results from Ascent++: 1
exception ReceivesActionhandled in the catch block 0.35