Small fixes to liveness analysis.

Also replaces simpleDCE() calls with liveness().