Implemented some SSA variable reduction stuff, almost done but ran into a bug somewhere within SSA (probably entering)