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