Add test for non-closedness under equi-validity