Updated algorithms.

Dead variables algorithm changed, so that it needs no flags in the
BasicBlock anymore.
Constant calculation totally rebuilt, added TODO list.