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

Proof:
 Nonconfluence Processor:
  terms: h(c(),f(a())) *<- h(c(),a()) ->* b()
  Qed