Currently we keep things that are dead-in-DFG alive for OSR by using Phantoms. Phantoms are fine as a backend hack in the DFG, but they are really hard to preserve soundly through serious compiler transformations. We should rationalize this so that we have fewer bugs to fix.
This is done!