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