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