Added e-SSA redefinition pass

This pass redefines the operands used in conditional branches at the
successor blocks, allowing the range analysis to be sparse.
Added makefiles