anchor.diff:      case Index > ActorLaterClock of
         false -> NotDep;
         true ->
  -        ?trace_nl(Logger, "      not_dep: ~p:~p ~n", [LaterIndex, LaterActor]),
           [LaterEvent|NotDep]
       end,
     not_dep(Rest, Actor, Index, Event, Logger, NewNotDep).
  
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: 
  not_dep([], _Actor, _Index, Event, Logger, NotDep) ->
    %% The racing event's effect may differ, so new label.
    lists:reverse([Event#event{label = undefined}|NotDep]);
  not_dep([TraceState|Rest], Actor, Index, Event, Logger, NotDep) ->
    #trace_state{
  