(VAR X) (RULES a -> g(c) g(a) -> b f(g(X),b) -> f(a,X) )