anchor.diff:  %% ===================================================================
   
   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])
  
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.
  
  