Problem:
 c() -> f(c())
 c() -> h(c())
 f(x) -> f(f(x))
 h(x) -> h(h(x))

Proof:
 Nonconfluence Processor:
  terms: h(c()) *<- c() ->* f(c())
  Qed