Assertion list for term "received at block".

Results from Ascent++: 2
description ReceivesActionreceived at block 0.29
value (aspect of variable) ReceivesActionreceived at block 0.28