Added transitive relation test