code: protected void bumpLit(final int lit) {
          final double maxPriority = 1e300;
          final int idx = Math.abs(lit);
          double oldPriority;
          if (this.scoreIncrement > maxPriority || (oldPriority = this.decisions.priority(idx)) > maxPriority) {
              rescore();
              oldPriority = this.decisions.priority(idx);
          }
          final double newPriority = oldPriority + this.scoreIncrement;
          this.decisions.update(idx, newPriority);
      }
docs: Bump a literal's activity.
  @param lit the literal