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