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

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