code: private void touchFixed() {
          assert this.dense;
          assert this.level == 0;
          assert this.schedule;
          while (this.touched < this.trail.size()) {
              final int lit = this.trail.get(this.touched++);
              assert val(lit) > 0;
              assert var(lit).level() == 0;
              final CLOccs os = occs(lit);
              for (final CLClause c : os) {
                  for (int i = 0; i < c.lits().size(); i++) {
                      final int other = c.lits().get(i);
                      if (val(other) == VALUE_TRUE) { continue; }
                      assert other != lit;
                      touch(other);
                  }
              }
          }
      }
docs: Touches literals in newly top-level satisfied clauses using the literals not touched yet.