17.81/7.80	MAYBE
17.81/7.80	
17.97/7.80	Problem:
17.97/7.80	f(x) -> b() <= f(x) = z, x = z
17.97/7.80	a() -> f(a())
17.97/7.80	
17.97/7.80	Proof:
17.97/7.80	ConCon could not decide confluence of the system.
17.97/7.80	\cite{GNG13}, Theorem 9 does not apply.
17.97/7.80	System R transformed to optimized U(R).
17.97/7.80	The external tool could not decide confluence of the system.
17.97/7.80	Call external tool:
17.97/7.80	./csi.sh
17.97/7.80	Input:
17.97/7.80	  ?1(z, x, z) -> b()
17.97/7.80	  ?2(z, x) -> ?1(x, x, z)
17.97/7.80	  f(x) -> ?2(f(x), x)
17.97/7.80	  a() -> f(a())
17.97/7.80	
17.97/7.80	
17.97/7.80	EOF