Added pseudocode for algorithms.

algorithm for dead variables - almost done
constant calculation - under construction...