@@
statement S1,S2;
expression E;
@@

 if (
-    E
+    12
    )
  {
    S1
    S2
  }