Assertion list for term "performed in step".
Results from Ascent++: 2
operation → ReceivesAction → performed in step 0.36
scan → ReceivesAction → performed in step 0.25