more test cases on transitive closure