@@
expression X;
@@

 f(X)
 ...
 g(X)
 ...
- h(X)
+ h(X, X)