code: protected CLVar var(final int lit) {
          final int idx = Math.abs(lit);
          assert 0 < idx && idx < this.vars.size();
          return this.vars.get(idx);
      }
docs: Returns the variable for a given literal.
  @param lit the literal
  @return the variable for the literal