Assertion list for term "assume wrong values".

Results from Ascent++: 1
bit CapableOfassume wrong values 0.18