code: private boolean reducing() {
          if (this.limits.reduceRedundant == 0) { this.limits.reduceRedundant = this.config.redinit; }
          long limit = this.limits.reduceRedundant;
          limit += this.limits.reduceForcing;
          limit += this.limits.reduceImportant;
          return limit <= this.stats.clausesRedundant;
      }
docs: Returns {@code true} if a reduction should be performed, {@code false} otherwise.
  @return {@code true} if a reduction should be performed