anchor.diff:  %%% Helper Functions
   %%%===================================================================
   
  -start_nodes() ->
  +start_or_reload_nodes() ->
       Self = node(),
       lager:info("~p: ~p starting nodes!", [?MODULE, Self]),
  -
  -    %% Nuke epmd first.
  -    [] = os:cmd("pkill -9 epmd"),
  -
  -    %% Create an ets table for test configuration.
  -    ?MODULE = ets:new(?MODULE, [named_table]),
   
       %% Special configuration for the cluster.
       Config = [{partisan_dispatch, true},
  
positive.code:         default ->
              ?FORALL(Cmds, commands(?MODULE), 
                  begin
                      start_nodes(),
                      node_begin_case(),
                      {History, State, Result} = run_commands(?MODULE, Cmds), 
                      node_end_case(),
  
negative.code:         %% Record outgoing message after transformation.
          ok = partisan_trace_orchestrator:trace(post_interposition_fun, {node(), OriginNode, Type, OriginalMessage, RewrittenMessage})
      end, 
      lists:foreach(fun({_Name, Node}) ->
          rpc:call(Node, ?MANAGER, add_post_interposition_fun, ['$tracing', PostInterpositionFun])
      end, Nodes),
  
      %% Enable tracing.
      lists:foreach(fun({_Name, Node}) ->
          rpc:call(Node, partisan_config, set, [tracing, false])
      end, Nodes),
  
      ok.
  
  stop_nodes() ->
      case restart_nodes() of 
          true ->
              debug("terminating instances, restart_nodes => true", []),
  
              %% Get list of nodes that were started at the start
              %% of the test.
              [{nodes, Nodes}] = ets:lookup(?MODULE, nodes),
  
              %% Print trace.
              partisan_trace_orchestrator:print(),
  
              %% Stop nodes.
              ?SUPPORT:stop(Nodes),
  
              %% Delete the table.
              ets:delete(?MODULE);
          false ->
              debug("not terminating instances, restart_nodes => false", []),
  
              %% Print trace.
              partisan_trace_orchestrator:print(),
  
              ok
      end,
  
      ok.
  
  %% @private
  restart_nodes() ->
      false. %% TODO: FIX ME.
  
  %% Determine if a bunch of operations succeeded or failed.
  all_to_ok_or_error(List) ->
  