fixed mistake in old constraint generation that happened while writing the new one
applied mgu to result constraint set before unification