0.00/0.43 MAYBE 0.00/0.43 0.00/0.43 Problem: 0.00/0.43 a() -> c() 0.00/0.43 b() -> c() 0.00/0.43 f(x) -> x <= a() = 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{SMI95}, Corollary 4.7 or 5.3 do not apply. 0.00/0.43 0.00/0.43 EOF