Assertion list for term "remain in the line".

Results from Ascent++: 1
division CapableOfremain in the line 0.34