Mm... I guess there isn't a high level explanation in there. But the gist is:

yield Get(X, Y(..))

is supposed to require that Y is consumed in the subgraph, but doesn't in all cases currently