public class AddPinchesModelTransformerTest {
@Test
public void testPinches() throws RecognitionException {
Model m = parse("P(x!1,y!2),P(y!1),P(x!2) <-> P(x!1,y!2),P(y!1),P(x!2) @ 1,2\n").model();
m = new AddPinchesModelTransformer().transform(m);
assertEquals("P(x!1, y!2),P(y!1),P(x!2) <-> P(x!1, y!2),P(y!1),P(x!2) @ 1, 2\n"+
"P(x!1, y!2),P(x!2, y!1) <-> P(x!1, y!2),P(x!2, y!1) @ 1, 2\n",m.toString());
}