0.00/0.52 MAYBE 0.00/0.52 0.00/0.52 Problem: 0.00/0.52 a() -> c() 0.00/0.52 a() -> d() 0.00/0.52 b() -> c() 0.00/0.52 b() -> d() 0.00/0.53 g(x, x) -> h(x, x) 0.00/0.53 f(x) -> x <= x = c() 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{ALS94}, Theorem 4.1 does not apply. 0.00/0.53 0.00/0.53 EOF