(VAR X) (RULES f(f(X)) -> c c -> d h(X) -> c )