Assertion list for term "overflow and extensive damage".

Results from Ascent++: 1
solid Causesoverflow and extensive damage 0.22