Assertion list for term "continue for one block".

Results from Ascent++: 1
turn CapableOfcontinue for one block 0.25