Assertion list
data stream (subgroup of stream ) → ReceivesAction
Results from Ascent++: 3
data stream → ReceivesAction → generated 0.68
data stream → ReceivesAction → received 0.43
data stream → ReceivesAction → transmitted 0.43