Problem:
 c() -> f(b())
 c() -> b()

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