3.79/1.94	NO
3.79/1.94	
3.79/1.94	Problem:
3.79/1.94	 f(a(),a()) -> c()
3.79/1.94	 f(b(),x) -> f(x,x)
3.79/1.94	 f(x,b()) -> f(x,x)
3.79/1.94	 a() -> b()
3.79/1.94	
3.79/1.94	Proof:
3.79/1.94	 Nonconfluence Processor:
3.79/1.94	  terms: f(b(),b()) *<- f(a(),a()) ->* c()
3.79/1.94	  Qed
3.79/1.94	  
3.79/1.94	  first automaton:
3.79/1.94	   final states: {8}
3.79/1.94	   transitions:
3.79/1.94	    b() -> 10,9
3.79/1.94	    f(10,9) -> 8*
3.79/1.94	    f(9,9) -> 8*
3.79/1.94	    f(10,10) -> 8*
3.79/1.94	  
3.79/1.94	  second automaton:
3.79/1.94	   final states: {4}
3.79/1.94	   transitions:
3.79/1.94	    c() -> 4*
3.79/1.94	EOF