Assertion list for term "stop in the future".

Results from Ascent++: 1
black hole CapableOfstop in the future 0.25