Assertion list for term "sent to corresponding bit".

Results from Ascent++: 1
trap ReceivesActionsent to corresponding bit 0.29