Assertion list
stream (primary) → Desires

Results from Ascent++: 1
streamDesires send element 0.28