Assertion list for term "lie in the interval".

Results from Ascent++: 1
root CapableOflie in the interval 0.43