@@ expression X; @@ - f(X,X); + h(X);