code: private void updateCands() {
          if (!this.dense) { connectOccs(); }
          assert !this.schedule;
          this.schedule = true;
          if (this.schedule = currentCands().empty()) { for (int idx = 1; idx <= maxvar(); idx++) { touch(idx); } }
          this.schedule = true;
          touchFixed();
      }
docs: Updates the candidates priority queue for new rounds of simplification.