0.00/0.53 MAYBE 0.00/0.53 0.00/0.53 Problem: 0.00/0.53 s(a()) -> c() 0.00/0.53 s(b()) -> c() 0.00/0.53 c() -> t(k()) 0.00/0.53 c() -> t(l()) 0.00/0.53 f(x) -> z <= s(x) = z 0.00/0.53 g(x, x) -> h(x, x) 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 ConCon could not decide whether all 2 critical pairs are joinable or not. 0.00/0.53 CP: t(k()) = t(l()): 0.00/0.53 0.00/0.53 EOF