NO

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

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