> > Could you explain a bit more about how this can happen? > > Sure. Consider a really simple block from MachineOutput: ... Thanks. Your example makes sense. It looks like you have to repeat the liveness computations for the new overflow blocks. Another possible solution to the problem is to change the CPS IL so that overflow primapps are transfers so that the blocks are explicit at the CPS level.