"Or is the approach to generate one thunk per potential branch?"

By which I mean one lazy graph-node per potential branch.