0.00/0.50 MAYBE 0.00/0.50 0.00/0.50 Problem: 0.00/0.51 f(x) -> x <= s(x) = t(x) 0.00/0.51 s(a()) -> t(b()) 0.00/0.51 a() -> b() 0.00/0.51 0.00/0.51 Proof: 0.00/0.51 ConCon could not decide confluence of the system. 0.00/0.51 \cite{ALS94}, Theorem 4.1 does not apply. 0.00/0.51 ConCon could not decide whether all 1 critical pairs are joinable or not. 0.00/0.51 CP: s(b()) = t(b()): 0.00/0.51 0.00/0.51 EOF