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