Problem:
 f(h(f(f(b())),b())) -> a()
 b() -> f(a())
 c() -> h(a(),b())

Proof:
 Nonconfluence Processor:
  terms: f(h(f(f(f(a()))),b())) *<- f(h(f(f(b())),b())) ->* a()
  Qed