@@
identifier a;
expression E;
@@

-  int a;
   ...
-  foo(a);
   <...
-   a = E;
   ...>