Assertion list for term "sent to process".

Results from Ascent++: 1
signal ReceivesActionsent to process 0.60