Assertion list for term "pende in step".

Results from Ascent++: 1
interrupt CapableOfpende in step 0.09