anchor.diff:       unsound_bpor = UnsoundBPOR
       } = State,
     #trace_state{
  -     done = [#event{actor = EarlyActor}|Done] = AllDone,
  +     done = [#event{actor = EarlyActor} = EarlyEvent|Done] = AllDone,
        index = EarlyIndex,
        previous_actor = PreviousActor,
        scheduling_bound = BaseBound,
  
positive.code:     end,
    not_dep1(Rest, Later, DPORInfo, NewNotDep).
  
  update_context(Event) ->
    NewEventInfo =
      case Event#event.event_info of
        #receive_event{message = Msg} = Info when Msg =/= 'after' ->
          Info#receive_event{message = 'after'};
        Info -> Info
      end,
    Event#event{
      event_info = NewEventInfo,
      label = undefined
     }.
  
  show_plan(_Type, _Logger, _Index, _NotDep) ->
    ?debug(
  
negative.code:       {[NS|NewOldTrace], ConservativeInfo}
    end.
  
  not_dep(Trace, Later, DPORInfo, RevEvent) ->
    NotDep = not_dep1(Trace, Later, DPORInfo, []),
    lists:reverse([RevEvent|NotDep]).
  
  not_dep1([], [], _DPORInfo, NotDep) ->
    NotDep;
  