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

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