Added a constraint for unification, which prohibit unification between a node and its ancestor.