Assertion list for term "assume increase".

Results from Ascent++: 1
estimate CapableOfassume increase 0.30