Assertion list for term "used in loop".

Results from Ascent++: 1
variable ReceivesActionused in loop 0.45