Assertion list for term "sent to the processor".

Results from Ascent++: 1
signal ReceivesActionsent to the processor 0.46