Assertion list for term "detected in step".
Results from Ascent++: 2
signal → ReceivesAction → detected in step 0.31
drop → ReceivesAction → detected in step 0.09