3.00/1.89	MAYBE
3.00/1.89	
3.00/1.89	Proof:
3.00/1.89	ConCon could not decide confluence of the system.
3.00/1.89	\cite{GNG13}, Theorem 9 does not apply.
3.00/1.89	This system is of type 3 or smaller.
3.00/1.89	This system is deterministic.
3.00/1.89	This system is weakly left-linear.
3.00/1.89	This system is non-confluent.
3.00/1.89	Call external tool:
3.00/1.89	./csi.sh
3.00/1.89	Input:
3.00/1.89	  a -> b
3.00/1.89	  a -> c
3.00/1.89	  b -> ?1(b)
3.00/1.89	  ?1(c) -> c
3.00/1.89	
3.00/1.89	 Uncurry Processor:
3.00/1.89	  a() -> b()
3.00/1.89	  a() -> c()
3.00/1.89	  b() -> f4(?1(),b())
3.00/1.89	  f4(?1(),c()) -> c()
3.00/1.89	  Ground Confluence Processor:
3.00/1.89	   non-confluent by decision procedure.
3.00/1.89	
3.98/1.92	EOF