Assertion list for term "continue until the point".

Results from Ascent++: 1
round CapableOfcontinue until the point 0.25