code: private void initializeOriginalSolver() {
          this.dense = false;
          this.schedule = false;
          this.touched = 0;
          this.distilled = 0;
          this.original = new LNGIntVector();
          this.clauses = new LNGVector<>();
          this.occs = new LNGVector<>();
          this.candsElim = new LNGLongPriorityQueue();
          this.candsBlock = new LNGLongPriorityQueue();
          this.tostrengthen = new LNGVector<>();
          this.extension = new LNGIntVector();
          this.simplifier = Simplifier.NOSIMP;
      }
docs: Initializes the internal solver state.