Yea, that's interesting. I think that this is the difference between "marking some stuff as definitely not consuming the environment" vs "allowing everything to consume the environment, and then using consistent environments for various tasks in the graph"