(VAR x ) (RULES a -> h(c) a -> h(f(c)) g(x) -> g(x) h(f(x)) -> h(f(g(x))) h(f(c)) -> h(c) h(c) -> h(f(g(c))) )