0.72/0.85	NO
0.72/0.85	
0.72/0.85	Problem:
0.72/0.85	 f(g(f(x))) -> x
0.72/0.85	 f(g(x)) -> g(f(x))
0.72/0.85	
0.72/0.85	Proof:
0.72/0.85	 Nonconfluence Processor:
0.72/0.85	  terms: x12 *<- f(g(f(x12))) ->* g(f(f(x12)))
0.72/0.85	  Qed
1.12/0.85	EOF