3.06/1.27	MAYBE
3.06/1.27	
3.06/1.27	Problem:
3.06/1.27	pin(a()) -> pout(b())
3.06/1.27	pin(b()) -> pout(c())
3.06/1.27	tc(x) -> x
3.06/1.27	tc(x) -> y <= pin(x) = pout(z), tc(z) = y
3.06/1.27	
3.06/1.27	Proof:
3.06/1.27	ConCon could not decide confluence of the system.
3.06/1.27	\cite{ALS94}, Theorem 4.1 does not apply.
3.06/1.27	ConCon could not decide whether all 2 critical pairs are joinable or not.
3.06/1.27	CP: x = y <= pin(x) = pout(z), tc(z) = y:
3.06/1.27	ConCon could not decide infeasibility of this critical pair.
3.06/1.27	
3.06/1.30	EOF