anchor.diff:        false -> NotDep;
         true -> [LaterEvent|NotDep]
       end,
  -  not_dep(Rest, Actor, Index, Event, NewNotDep).
  +  not_dep(Rest, Later, Actor, Index, Event, NewNotDep).
   
   
   trace_plan(_Logger, _Index, _NotDep) ->
  
positive.code:       end
    end.
  
  not_dep(Trace, Actor, Index, Event) ->
    not_dep(Trace, Actor, Index, Event, []).
  
  not_dep([], _Actor, _Index, Event, 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, NotDep) ->
    #trace_state{
       clock_map = ClockMap,
       done = [#event{actor = LaterActor} = LaterEvent|_]
  
negative.code:      sleeping = Sleeping,
       wakeup_tree = WakeupTree
      } = TraceState,
    NotDep = not_dep(NewOldTrace, Later, EarlyActor, EarlyIndex, Event),
    case insert_wakeup(Sleeping ++ Done, WakeupTree, NotDep, Optimal) of
      skip ->
        ?debug(Logger, "     SKIP~n",[]),
  