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

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