(VAR X) (RULES f(X) -> g(h(f(X))) )