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

Proof:
 Uncurry Processor:
  f5(f(),f5(f5(h(),f5(f(),f5(f(),b()))),b())) -> a()
  b() -> f5(f(),a())
  c() -> f5(f5(h(),a()),b())
  Ground Confluence Processor:
   not UN by decision procedure.