anchor.diff:  
   not_dep([], _Actor, _Index, Event, Logger, NotDep) ->
     %% The racing event's effect may differ, so new label.
  -  ?trace_nl(Logger, "      not_dep: last:~p ~n", [Event#event.actor]),
     lists:reverse([Event#event{label = undefined}|NotDep]);
   not_dep([TraceState|Rest], Actor, Index, Event, Logger, NotDep) ->
     #trace_state{
  
positive.code:             ActorNewClock
          end
      end,
    ?trace_nl(Logger, "~p: ~w:~w~n", [Index, Actor, NewClock]),
    BaseNewClockMap = dict:store(Actor, NewClock, ClockMap),
    NewClockMap =
      case Special of
  
negative.code:     case Index > ActorLaterClock of
        false -> NotDep;
        true ->
          [LaterEvent|NotDep]
      end,
    not_dep(Rest, Actor, Index, Event, Logger, NewNotDep).
  