(VAR x) (RULES f(g(a)) -> g(b) g(a) -> b h(x) -> h(g(x)) | f(x) -> g(x) )