Transitive closure tests update