3.83/1.63	MAYBE
3.83/1.63	
3.83/1.63	Proof:
3.83/1.63	ConCon could not decide confluence of the system.
3.83/1.63	\cite{GNG13}, Theorem 9 does not apply.
3.83/1.63	This system is of type 3 or smaller.
3.83/1.63	This system is deterministic.
3.83/1.63	This system is weakly left-linear.
3.83/1.63	This system is non-confluent.
3.83/1.63	Call external tool:
3.83/1.63	./csi.sh
3.83/1.63	Input:
3.83/1.63	  pin(x) -> pout(g(x))
3.83/1.63	  pin(x) -> ?1(pin(x), x)
3.83/1.63	  ?1(pout(g(y)), x) -> pout(f(y))
3.83/1.63	
3.83/1.63	 Nonconfluence Processor:
3.83/1.63	  terms: pout(g(x)) *<- pin(x) ->* pout(f(x))
3.83/1.63	  Qed
3.83/1.63	
3.83/1.64	EOF