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

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