anchor.diff:      FinalTraceTop =
           case Replaying of
               false ->
  +                ?debug("Happened before: ~p\n",
  +                       [orddict:to_list(
  +                          begin
  +                              CMM = NewTraceTop#trace_state.clock_map,
  +                              CCC = lookup_clock(Lid, CMM),
  +                              case lookup_clock_value(Lid, ClockVector) of
  +                                  0 -> orddict:erase(Lid, CCC);
  +                                  QQ -> orddict:store(Lid, QQ, CCC)
  +                              end
  +                          end)]),
                   ?debug("Selected: ~P\n",
                          [PossiblyRewrittenSelected, ?DEBUG_DEPTH]),
                   NewSleepSet =
  
positive.code:                 NewNexts = dict:store(Lid, Next, Nexts),
      Expected = dict:fetch(Lid, Nexts),
      NewNexts = dict:store(Lid, Next, Nexts),
      MaybeNotPollable = ordsets:del_element(Lid, Pollable),
      {NewPollable, NewEnabled, NewBlocked} =
          update_lid_enabled(Lid, Next, MaybeNotPollable, Enabled, Blocked),
  
negative.code:         case Replaying of
              false ->
                  NewN = I+1,
                  BaseClockVector = orddict:store(Lid, NewN, ClockVector),
                  LidsClockVector =
                      recent_dependency_cv(Selected, BaseClockVector, Trace),
  