Assertion list for term "received in the circuit".

Results from Ascent++: 1
address ReceivesActionreceived in the circuit 0.28