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

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