Added operator replacing for operator unification.