Complete constant propagation
[partial] Add SSAElim.hs