Dead code is... kind of dead

[dvanhorn]

The dead-code analysis is cute, but never comes up again and by itself seems rather impractical. Could it be tied into the rest of the development more crisply, or replaced with an example that could more easily be extrapolated by the reader onto the rest oof the story?

I particularly like the dead code example, so let's try to tie it back in. I believe we have a pdcfa-dead-code implementation that we could bring up toward the end of the paper.