0.00/0.42 MAYBE 0.00/0.42 0.00/0.42 Problem: 0.00/0.43 e() -> f(x) <= l() = d() 0.00/0.43 A() -> h(x, x) 0.00/0.43 0.00/0.43 Proof: 0.00/0.43 ConCon could not decide confluence of the system. 0.00/0.43 \cite{GNG13}, Theorem 9 does not apply. 0.00/0.43 0.00/0.43 EOF