Changes in the dead variables algorithm.

Removed the alives list, as we talked about it.
Added TODO list, so it will be easier to know what has to be done.