MAYBE Proof: ConCon could not decide confluence of the system. \cite{SMI95}, Corollary 4.7 or 5.3 do not apply.