Assertion list for term "widen on the approach".

Results from Ascent++: 1
circuit CapableOfwiden on the approach 0.25