Transitive closure test