code: private void connectOccs(final CLClause c) {
          assert this.dense;
          for (int i = 0; i < c.lits().size(); i++) { addOcc(c.lits().get(i), c); }
      }
docs: Connects a clause through a full occurrence list.
  @param c the clause