Problem:
 c() -> f(c(),c())
 c() -> g(c(),c())
 f(x,f(x,x)) -> c()

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