startet with unification of equality constraints