code: private void initializeGlucose() {
      this.initializeGlucoseConfig();
      this.watchesBin = new LNGVector<>();
      this.permDiff = new LNGIntVector();
      this.lastDecisionLevel = new LNGIntVector();
      this.lbdQueue = new LNGBoundedLongQueue();
      this.trailQueue = new LNGBoundedIntQueue();
      this.assump = new LNGBooleanVector();
      this.lbdQueue.initSize(sizeLBDQueue);
      this.trailQueue.initSize(sizeTrailQueue);
      this.myflag = 0;
      this.analyzeBtLevel = 0;
      this.analyzeLBD = 0;
      this.analyzeSzWithoutSelectors = 0;
      this.nbclausesbeforereduce = firstReduceDB;
      this.conflicts = 0;
      this.conflictsRestarts = 0;
      this.sumLBD = 0;
      this.curRestart = 1;
    }
docs: Initializes the additional parameters.