code: private void dumpEliminatedRedundant() {
          for (final CLClause c : this.clauses) {
              if (!c.redundant() || c.satisfied() || c.dumped()) { continue; }
              if (containsEliminated(c)) { dumpClause(c); }
          }
      }
docs: Dumps redundant clauses with eliminated variables.