Assertion list for term "assume change".

Results from Ascent++: 1
estimate CapableOfassume change 0.32