@@
statement S;
@@

  f();
  S
+ h();