0.00/0.49 MAYBE 0.00/0.49 0.00/0.49 Problem: 0.00/0.49 a() -> t(c()) 0.00/0.49 a() -> t(d()) 0.00/0.50 f(x, y) -> z <= x = t(z) 0.00/0.50 g(x, x) -> h(x, x) 0.00/0.50 0.00/0.50 Proof: 0.00/0.50 ConCon could not decide confluence of the system. 0.00/0.50 \cite{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.50 0.00/0.50 EOF