Problem:
 a(x) -> g(h(b(x)))
 a(x) -> g(c(x))
 b(x) -> g(b(x))
 g(a(x)) -> g(h(a(x)))

Proof:
 Nonconfluence Processor:
  terms: g(g(c(x))) *<- g(a(x)) ->* g(h(g(c(x))))
  Qed