1.06/1.16	NO
1.06/1.16	
1.06/1.16	Problem:
1.06/1.16	 f(g(f(x))) -> g(f(g(x)))
1.06/1.16	 f(c()) -> c()
1.06/1.16	 g(c()) -> c()
1.06/1.16	
1.06/1.16	Proof:
1.06/1.16	 Nonconfluence Processor:
1.06/1.16	  terms: f(g(g(f(g(x9))))) *<- f(g(f(g(f(x9))))) ->* g(f(g(g(f(x9)))))
1.06/1.16	  Qed
1.06/1.16	EOF