Assertion list for term "become integral".

Results from Ascent++: 1
ai CapableOfbecome integral 0.31