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