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

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