Assertion list for term "used in our report".

Results from Ascent++: 1
benchmark ReceivesActionused in our report 0.30