10.05 Code generation: local liveness (dead or alive)