Ascent++ | preserved in next action of the channel

Assertion list for term "preserved in next action of the channel".

Results from Ascent++: 1

phase → ReceivesAction → preserved in next action of the channel

0.29