MAYBE Proof: ConCon could not decide if this system is quasi-decreasing. \cite{A14}, Theorem 11.5.9 does not apply.