@@
statement S;
@@

  f();
- S
  g();
- S