anchor.diff:                      ClassificationsExplored = ClassificationsExplored0 ++ [Classification],
                       % debug("=> Classification for this test: ~p~n", [Classification]),
   
  -                    % MessageTypes = message_types(FinalTraceLines),
  -                    % debug("=> MessageTypes for this test: ~p~n", [MessageTypes]),
  -
  -                    % OmissionTypes = message_types(Omissions),
  -                    % debug("=> OmissionTypes for this test: ~p~n", [OmissionTypes]),
  +                    MessageTypes = message_types(FinalTraceLines),
  +                    debug("=> MessageTypes for this test: ~p~n", [MessageTypes]),
  +
  +                    OmissionTypes = message_types(Omissions),
  +                    debug("=> OmissionTypes for this test: ~p~n", [OmissionTypes]),
   
                       %% Run the trace.
                       CommandFun = fun() ->
  
positive.code:     end, Nodes),
  
      %% Run proper.
      Result = proper:check(M:F(), A, []),
      debug("execute result: ~p", [Result]),
  
  
negative.code: 
      %% Stop tracing infrastructure.
      partisan_trace_orchestrator:stop(),
  
      debug("execute returning: ~p", [Result]),
      
      Result.
  
  