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