57.62/31.92	MAYBE
57.62/31.92	
57.62/31.92	Proof:
57.62/31.92	ConCon could not decide confluence of the system.
57.62/31.92	\cite{GNG13}, Theorem 9 does not apply.
57.62/31.92	This system is of type 3 or smaller.
57.62/31.92	This system is deterministic.
57.62/31.92	This system is weakly left-linear.
57.62/31.92	System R transformed to optimized U(R).
57.62/31.92	The external tool could not decide confluence of the system.
57.62/31.92	Call external tool:
57.62/31.92	./csi.sh
57.62/31.92	Input:
57.62/31.92	(VAR x z)
57.62/31.92	(RULES
57.62/31.92	  f(x) -> ?1(f(x), x)
57.62/31.92	  ?1(z, x) -> ?2(x, x, z)
57.62/31.92	  ?2(z, x, z) -> b
57.62/31.92	  a -> f(a)
57.62/31.92	)
57.62/31.92	
57.62/31.92	
57.62/31.94	EOF