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

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