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