Assertion list for term "processed without delay".
Results from Ascent++: 2
check → ReceivesAction → processed without delay 0.37
return → ReceivesAction → processed without delay 0.34