Assertion list for term "used in the computation".

Results from Ascent++: 2
remainder ReceivesActionused in the computation 0.25
tv ReceivesActionused in the computation 0.25