Assertion list for term "continue at next instruction".

Results from Ascent++: 1
execution CapableOfcontinue at next instruction 0.31