NO

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

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