code: private void addOcc(final int lit, final CLClause c) {
          assert this.dense;
          occs(lit).add(c);
          touch(lit);
      }
docs: Adds a clause to a literal's occurrence list.
  @param lit the literal
  @param c   the clause