Assertion list for term "used in the preq-73".

Results from Ascent++: 1
circuit ReceivesActionused in the preq-73 0.16