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

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