Assertion list for term "stop in two different positions".

Results from Ascent++: 1
manual CapableOfstop in two different positions 0.16