code: private void connectOccs() {
          assert !this.dense;
          this.dense = true;
          for (final CLClause c : this.clauses) { if (!c.redundant()) { connectOccs(c); } }
      }
docs: Connects all clauses through full occurrence lists.