0.98/1.07	NO
0.98/1.07	
0.98/1.07	Problem:
0.98/1.07	 a(a(x)) -> b(b(b(x)))
0.98/1.07	 b(b(b(b(x)))) -> a(a(a(x)))
0.98/1.07	
0.98/1.07	Proof:
0.98/1.07	 Nonconfluence Processor:
0.98/1.07	  terms: a(b(b(b(x13)))) *<- a(a(a(x13))) ->* b(b(b(a(x13))))
0.98/1.07	  Qed
1.19/1.07	EOF