Assertion list for term "run after the catch".

Results from Ascent++: 1
receiver CapableOfrun after the catch 0.30