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

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