Assertion list for term "stop on 10".

Results from Ascent++: 1
wheel CapableOfstop on 10 0.30