Assertion list
stream (primary) → Desires
Results from Ascent++: 1
stream → Desires → send element 0.28