(VAR ) (RULES b -> a b -> c c -> h(b) c -> d a -> h(a) d -> h(d) d -> h(b) c -> a h(b) -> h(d) a -> d )