Assertion list for term "continue at the instruction".

Results from Ascent++: 1
execution CapableOfcontinue at the instruction 0.25