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