code: private boolean blockClause(final CLClause c, final int blit) {
          if (c.dumped() || satisfied(c)) { return false; }
          final CLOccs os = occs(-blit);
          for (final CLClause d : os) {
              assert !d.redundant();
              this.stats.steps++;
              if (d.dumped() || satisfied(d)) { continue; }
              if (tryResolve(c, blit, d)) { return false; }
          }
          return true;
      }
docs: Returns {@code true} if all resolvents of a given clause and a blocking literal are tautological, {@code false} otherwise.
  @param c    the clause
  @param blit the blocking literal
  @return {@code true} if all resolvents with 'c' on 'blit' are tautological