anchor.diff:          default ->
               ?FORALL(Cmds, commands(?MODULE), 
                   begin
  -                    start_nodes(),
  +                    start_or_reload_nodes(),
                       node_begin_case(),
                       {History, State, Result} = run_commands(?MODULE, Cmds), 
                       node_end_case(),
  
positive.code:               {disable_fast_receive, true},
                {membership_strategy, partisan_full_membership_strategy}],
  
      %% Initialize a cluster.
      Nodes = ?SUPPORT:start(prop_partisan,
                             Config,
                             [{partisan_peer_service_manager, ?MANAGER},
                             {num_nodes, ?TEST_NUM_NODES},
                             {cluster_nodes, ?CLUSTER_NODES}]),
  
      lager:info("~p: ~p started nodes: ~p", [?MODULE, Self, Nodes]),
  
      %% Deterministically seed the random number generator.
      partisan_config:seed(),
  
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) ->
  