anchor.diff:                    RevV = lists:reverse(V),
                     {FixedV, ReceiveInfoDict} = fix_receive_info(RevV),
                     {FixedRest, _} = fix_receive_info(Rest, ReceiveInfoDict),
  -                  show_plan(v, Logger, 0, FixedV),
  +                  debug_show_sequence("v sequence", Logger, 1, FixedV),
                     case has_weak_initial_before(lists:reverse(FixedRest), FixedV, Logger) of
                       true -> {skip, false};
                       false ->
  
positive.code:   end.
  
  has_weak_initial_before([], _, _Logger) ->
    ?debug(_Logger, "No weak initial before~n",[]),
    false;
  has_weak_initial_before([TraceState|Rest], V, Logger) ->
    #trace_state{done = [EarlyEvent|Done]} = TraceState,
    case has_initial(Done, [EarlyEvent|V]) of
      true ->
        ?debug(Logger, "Check: ~s~n",[?join([?pretty_s(0,D)||D<-Done],"~n")]),
        show_plan(initial, Logger, 1, [EarlyEvent|V]),
        true;
      false ->
        ?trace(Logger, "Up~n",[]),
        has_weak_initial_before(Rest, [EarlyEvent|V], Logger)
    end.
  
  show_plan(_Type, _Logger, _Index, _NotDep) ->
    ?debug(
       _Logger, "     PLAN (Type: ~p)~n~s",
       begin
         Indices = lists:seq(_Index, _Index + length(_NotDep) - 1),
         IndexedNotDep = lists:zip(Indices, _NotDep),
         [_Type] ++
           [lists:append(
              [io_lib:format("        ~s~n", [?pretty_s(I,S)])
               || {I,S} <- IndexedNotDep])]
       end).
  
  
negative.code:           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, "    Nearest race @ ~w~n", [LatestHBIndex]),
            NewRevEarly =
              more_interleavings_for_event(
                TraceState, RevEarly, LatestHBIndex, StateClock, Later, State),
  