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:        false -> {EarlyActor, EarlyIndex}
       end},
    Sleeping = BaseSleeping ++ Done,
    RevEvent = update_context(Event, EarlyEvent),
    {MaybeNewWakeup, ConservativeInfo} =
      case Bound < 0 of
        true ->
          {over_bound,
           case SchedulingBoundType =:= bpor of
             true ->
               NotDep = not_dep(NewOldTrace, Later, DPORInfo, RevEvent),
               get_initials(NotDep);
             false ->
               false
           end};
        false ->
          NotDep = not_dep(NewOldTrace, Later, DPORInfo, RevEvent),
          {Plan, _} = NW =
            case DPOR =:= optimal of
              true ->
  