Upgraded DeadVars algorithm.

Now it finds the NOT_INITIALIZED and the FREE ones as well. Hurray!