Assertion list for term "received at step".

Results from Ascent++: 3
command ReceivesActionreceived at step 0.37
message ReceivesActionreceived at step 0.33
signal ReceivesActionreceived at step 0.30