Bugfix to skip cyclic variable override during unification