0.00/0.44 MAYBE 0.00/0.44 0.00/0.44 Problem: 0.00/0.44 a() -> c() 0.00/0.44 a() -> d() 0.00/0.44 b() -> c() 0.00/0.45 b() -> d() 0.00/0.45 s(k()) -> t(a()) 0.00/0.45 s(l()) -> t(a()) 0.00/0.45 g(x, x) -> h(x, x) 0.00/0.45 f(x, y) -> y <= s(x) = t(y) 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{GNG13}, Theorem 9 does not apply. 0.00/0.45 0.00/0.45 EOF