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

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