Assertion list for term "used in ante".

Results from Ascent++: 1
chip ReceivesActionused in ante 0.33