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