0.00/0.90 MAYBE 0.00/0.90 0.00/0.90 Problem: 0.00/0.90 f(g(x)) -> x <= x = s(0()) 0.00/0.90 g(s(x)) -> g(x) 0.00/0.90 0.00/0.90 Proof: 0.00/0.90 ConCon could not decide confluence of the system. 0.00/0.90 \cite{ALS94}, Theorem 4.1 does not apply. 0.00/0.90 ConCon could not decide whether all 1 critical pairs are joinable or not. 0.00/0.90 CP: f(g(x)) = s(x) <= s(x) = s(0()): 0.00/0.90 ConCon could not decide infeasibility of this critical pair. 0.00/0.90 2.54/1.14 EOF