Assertion list for term "used in the loop".

Results from Ascent++: 1
pedal ReceivesActionused in the loop 0.16