MAYBE

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