Assertion list for term "add residual decoded data".

Results from Ascent++: 1
adder CapableOfadd residual decoded data 0.25