Assertion list for term "widen inequality".

Results from Ascent++: 1
budget CapableOfwiden inequality 0.24