Assertion list for term "performed at step".

Results from Ascent++: 1
check ReceivesActionperformed at step 0.40