Update the unification procedure