0.58/0.63	NO
0.58/0.63	
0.58/0.63	Problem:
0.58/0.63	 f(g(x)) -> g(f(f(x)))
0.58/0.63	 f(h(x)) -> h(h(f(x)))
0.58/0.63	 f(x) -> x
0.58/0.63	 g(x) -> x
0.58/0.63	
0.58/0.63	Proof:
0.58/0.63	 Nonconfluence Processor:
0.58/0.63	  terms: h(h(x42)) *<- f(h(x42)) ->* h(x42)
0.58/0.63	  Qed
0.75/0.63	EOF