Re: property lists

> > 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.