1.20/1.26	NO
1.20/1.26	
1.20/1.26	Problem:
1.20/1.26	 a(x) -> g(h(b(x)))
1.20/1.26	 a(x) -> g(c(x))
1.20/1.26	 b(x) -> g(b(x))
1.20/1.26	 g(a(x)) -> g(h(a(x)))
1.20/1.26	
1.20/1.26	Proof:
1.20/1.26	 Nonconfluence Processor:
1.20/1.26	  terms: g(g(c(x))) *<- g(a(x)) ->* g(h(g(c(x))))
1.20/1.26	  Qed
1.20/1.26	EOF