Updated test to ensure that transitive properties are true for intersection