i think that in this context, what using a model like stitch/haxl would mean would be that there are planning rounds, during which the graph is expanded, and then execution rounds where it is filled in