3.06/1.30	MAYBE
3.06/1.30	
3.06/1.30	Problem:
3.06/1.30	pin(a()) -> pout(b())
3.06/1.30	pin(b()) -> pout(c())
3.06/1.30	tc(x) -> x
3.06/1.30	tc(x) -> y <= pin(x) = pout(z), tc(z) = y
3.06/1.30	
3.06/1.30	Proof:
3.06/1.30	ConCon could not decide confluence of the system.
3.06/1.30	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
3.06/1.30	Some of the 2 critical pairs are not trivial and  ConCon could not decide whether those all are infeasible.
3.06/1.30	CP: x = y <= pin(x) = pout(z), tc(z) = y:
3.06/1.30	ConCon could not decide infeasibility of this critical pair.
3.06/1.30	
3.49/1.32	EOF