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

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