anchor.diff:          case is_atom(Plan) of
             true -> NW;
             false ->
  -            show_plan(standard, Logger, EarlyIndex, NotDep),
  +            debug_show_sequence("PLAN", Logger, EarlyIndex, NotDep),
               NW
           end
       end,
  
positive.code:                   RevV = lists:reverse(V),
                    {FixedV, ReceiveInfoDict} = fix_receive_info(RevV),
                    {FixedRest, _} = fix_receive_info(Rest, ReceiveInfoDict),
                    show_plan(v, Logger, 0, FixedV),
                    case has_weak_initial_before(lists:reverse(FixedRest), FixedV, Logger) of
                      true -> {skip, false};
                      false ->
  
negative.code:         NC = max_cv(lookup_clock(EarlyActor, EarlyClockMap), Clock),
          ActorClock = lookup_clock(Actor, ClockMap),
          NI = find_latest_hb_index(ActorClock, NC),
          ?debug(State#scheduler_state.logger, "    Next nearest race @ ~w~n", [NI]),
          {NC, NI}
      end,
    {NewUpdEarly, NewRevEarly} =
  