@@ statement S; @@ f(); - S + g();S