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