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