Leave test with a transitive closure.