Add negative transitivity unit test