Update on Overleaf.

ccs-body.tex

@@ -467,7 +467,9 @@ The remaining $\mathcal{C}[:-k]$ constitutes our stable part of the chain.
 \State $(\chi', \ell', \mathcal{D}') \gets $ \textsc{Dissolve}$_{m,k}(\Pi')$
 \State $M \gets \{ n \in \mathbb{N} : \mathcal{D}[n] \cap \mathcal{D'}[n] \neq \emptyset \}$
 \If{$M = \emptyset$}
-    \If{$\ell' > \ell$}
+    %\If{$\ell' > \ell$}
+    \If{$diff\{\mathcal{D}[\ell']\} > diff\{\mathcal{D}[\ell]\}$}
+    % Or same expression but $\ell' = \ell = 0$
         \State \Return $\Pi'$
     \EndIf
     \State \Return $\Pi$