code: protected byte val(final int lit) {
          byte res = this.vals.get(Math.abs(lit));
          if (lit < 0) { res = (byte) -res; }
          return res;
      }
docs: Returns the value for a given literal.
  @param lit the literal
  @return the value as byte (-1 = false, 1 = true)