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