void (DfaMemoryStateImpl other) { boolean needRestart = true; while (needRestart) { ProgressManager.checkCanceled(); needRestart = false; for (EqClass eqClass : new ArrayList<>(myEqClasses)) { if (eqClass != null && retainEquivalences(eqClass, other)) { needRestart = true; break; } } } }