Assertion list for term "used by the agent".

Results from Ascent++: 1
port ReceivesActionused by the agent 0.28