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

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