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