code: private void blockLit(final int blit) {
          final CLOccs os = occs(blit);
          for (final CLClause c : os) {
              assert !c.redundant();
              if (!blockClause(c, blit)) { continue; }
              this.stats.clausesBlocked++;
              pushExtension(c, blit);
              dumpClause(c);
          }
      }
docs: Finds and removes all blocked clauses blocked on a given blocking literal.
  @param blit the blocking literal