FIXED: Doubly defined transitive graph closure.