@@
statement S;
@@

+ h();
  S
  g();