@@ 
expression E;
@@

-  for(...;...;...) {
    xxx(2);
    <...
-   xxx(E);
    ...>
-  }