Assertion list for term "change the value".

Results from Ascent++: 1
thread CapableOfchange the value 0.35