Assertion list for term "stop at same place".

Results from Ascent++: 1
circuit CapableOfstop at same place 0.25