code: private void disconnectClauses() {
          this.limits.reduceImportant = 0;
          for (int idx = 1; idx <= maxvar(); idx++) {
              for (int sign = -1; sign <= 1; sign += 2) {
                  final int lit = sign * idx;
                  watches(lit).release();
                  occs(lit).release();
              }
          }
          this.dense = false;
      }
docs: Disconnects all clauses.