0.00/0.45 MAYBE 0.00/0.45 0.00/0.45 Problem: 0.00/0.45 e() -> f(x) <= l() = d() 0.00/0.45 A() -> h(x, x) 0.00/0.45 0.00/0.45 Proof: 0.00/0.45 ConCon could not decide confluence of the system. 0.00/0.45 \cite{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.45 0.00/0.46 EOF