MAYBE Proof: ConCon could not decide confluence of the system. \cite{ALS94}, Theorem 4.1 does not apply. This system may be strongly deterministic or not.