code: protected void importLit(final int lit) {
          final int idx = Math.abs(lit);
          assert lit != 0;
          int newIdx;
          while (idx >= (newIdx = this.vars.size())) {
              this.vars.push(new CLVar());
              this.vals.push((byte) 0);
              this.phases.push((byte) 1);
              this.watches.push(new LNGVector<CLWatch>());
              this.watches.push(new LNGVector<CLWatch>());
              if (newIdx == 0) { continue; }
              this.decisions.push(newIdx);
          }
      }
docs: Imports a given literal.
  @param lit the literal