Testing transitive closure
