MAYBE

Proof:
ConCon could not decide if this system is quasi-decreasing.
\cite{O02}, p. 214, Proposition 7.2.50 does not apply.