@@
statement S;
@@

+ bar();
- S
  foo();