Assertion list for term "preserved in following step of the channel".
Results from Ascent++: 1
phase → ReceivesAction → preserved in following step of the channel 0.30