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