Assertion list for term "used to uncover rorter".

Results from Ascent++: 1
proof ReceivesActionused to uncover rorter 0.51