code: private void dumpClause(final CLClause c) {
          if (c.dumped()) { return; }
          if (c.redundant()) {
              assert this.stats.clausesRedundant > 0;
              this.stats.clausesRedundant--;
          } else {
              assert this.stats.clausesIrredundant > 0;
              this.stats.clausesIrredundant--;
              if (this.dense) { for (int i = 0; i < c.lits().size(); i++) { decOcc(c.lits().get(i)); } }
          }
          c.setDumped(true);
      }
docs: Dumps a given clause.
  @param c the clause