0.00/0.79	MAYBE
0.00/0.79	
0.00/0.79	Problem:
0.00/0.79	pin(a()) -> pout(b())
0.00/0.79	pin(b()) -> pout(c())
0.00/0.79	tc(x) -> x
0.00/0.79	tc(x) -> y <= pin(x) = pout(z()), tc(z()) = y
0.00/0.79	
0.00/0.79	Proof:
0.00/0.79	ConCon could not decide confluence of the system.
0.00/0.79	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.79	
0.00/0.80	EOF