Assertion list for term "used by judge".

Results from Ascent++: 1
tactic ReceivesActionused by judge 0.16