0.00/0.76 MAYBE 0.00/0.76 0.00/0.76 Problem: 0.00/0.76 isnoc(cons(y, nil())) -> tp2(nil(), y) 0.00/0.76 isnoc(cons(x, ys)) -> tp2(cons(x, xs), y) <= isnoc(ys) = tp2(xs, y) 0.00/0.76 0.00/0.76 Proof: 0.00/0.76 ConCon could not decide confluence of the system. 0.00/0.76 \cite{GNG13}, Theorem 9 does not apply. 0.00/0.76 0.00/0.77 EOF