anchor.diff:      end, Nodes),
   
       %% Run proper.
  +    debug("running proper check for ~p:~p(~p)...", [M, F, A]),
       Result = proper:check(M:F(), A, []),
       debug("execute result: ~p", [Result]),
   
  
positive.code:                     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]),
  
                      %% Run the trace.
                      CommandFun = fun() ->
  
negative.code: %% ===================================================================
  
  execute(Nodes, PerformPreloads, Replaying, Shrinking, Tracing, {M, F, A}) ->
      debug("execute starting...", []), 
  
      %% Ensure replaying option is set.
      lists:foreach(fun({ShortName, _}) ->
          ok = rpc:call(?NAME(ShortName), partisan_config, set, [replaying, Replaying])
  