added tests for transitive relations