These create trivial loops in the dependency graph, which make the transitive closure computation loop.