it’s also possible that deferring codegen until Dependencies-only inference is working would make sense, and to then look at how to merge them

Maybe. I don’t think this will be hard to do, though, unless we try doing precise dependencies. That will make things trickier to avoid call sites from exploding in complexity, from what I can tell