anchor.diff:            ActorClock = lookup_clock(Actor, ClockMap),
             %% Otherwise we zero-down to the latest op that happened before
             LatestHBIndex = find_latest_hb_index(ActorClock, StateClock),
  -          ?trace(_Logger, "   SC:~w~n", [StateClock]),
  -          ?trace(_Logger, "   AC:~w~n", [ActorClock]),
  -          ?debug(_Logger, "  Next @ ~w~n", [LatestHBIndex]),
  +          ?trace(_Logger, "    SC: ~w~n", [StateClock]),
  +          ?trace(_Logger, "    AC: ~w~n", [ActorClock]),
  +          ?debug(_Logger, "    Nearest race @ ~w~n", [LatestHBIndex]),
             NewRevEarly =
               more_interleavings_for_event(
                 TraceState, RevEarly, LatestHBIndex, StateClock, Later, State),
  
positive.code:         case is_atom(Plan) of
            true -> NW;
            false ->
              show_plan(standard, Logger, EarlyIndex, NotDep),
              NW
          end
      end,
  
negative.code:                   RevV = lists:reverse(V),
                    {FixedV, ReceiveInfoDict} = fix_receive_info(RevV),
                    {FixedRest, _} = fix_receive_info(Rest, ReceiveInfoDict),
                    debug_show_sequence("v sequence", Logger, 1, FixedV),
                    case has_weak_initial_before(lists:reverse(FixedRest), FixedV, Logger) of
                      true -> {skip, false};
                      false ->
  