Assertion list for term "run out on inequality".

Results from Ascent++: 1
clock CapableOfrun out on inequality 0.33