anchor.diff:  
               %% Derive final command sequence.
               FinalCommands0 = case os:getenv("IMPLEMENTATION_MODULE", "false") of
  -                "paxoid" ->
  -                    [
  -                        %% Sleep for initialization.
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}},
  -
  -                        %% Write to node_3.
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, next_id, [node_2]}},
  -
  -                        % Fault node_3, wait for failure detection.
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, set_fault, [node_3, true]}},
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}},
  -
  -                        %% Write to node_1.
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, next_id, [node_1]}},
  -
  -                        % Fault node_1, unfault node_3, wait for failure detection.
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, set_fault, [node_1, true]}},
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}},
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, set_fault, [node_3, false]}},
  -
  -                        %% Write to node_3.
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, next_id, [node_3]}},
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}},
  -
  -                        %% Write to node_3 again.
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, next_id, [node_4]}},
  -                        {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}}
  -                    ] ++ 
  -
  -                    %% Global node commands. 
  -                    CommandsWithOnlyGlobalNodeCommands ++ 
  -
  -                    %% Forced failure command. 
  -                    FailureCommands;
  +                % "paxoid" ->
  +                %     [
  +                %         %% Sleep for initialization.
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}},
  +
  +                %         %% Write to node_3.
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, next_id, [node_2]}},
  +
  +                %         % Fault node_3, wait for failure detection.
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, set_fault, [node_3, true]}},
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}},
  +
  +                %         %% Write to node_1.
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, next_id, [node_1]}},
  +
  +                %         % Fault node_1, unfault node_3, wait for failure detection.
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, set_fault, [node_1, true]}},
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}},
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, set_fault, [node_3, false]}},
  +
  +                %         %% Write to node_3.
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, next_id, [node_3]}},
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}},
  +
  +                %         %% Write to node_3 again.
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, next_id, [node_4]}},
  +                %         {set, {var, 0}, {call, prop_partisan_paxoid, sleep, []}}
  +                %     ] ++ 
  +
  +                %     %% Global node commands. 
  +                %     CommandsWithOnlyGlobalNodeCommands ++ 
  +
  +                %     %% Forced failure command. 
  +                %     FailureCommands;
                   _ ->
                       lists:flatten(
                           %% Node commands, without global assertions.  Take only the first.
  
positive.code:             %% Get nodes.
              [{nodes, Nodes1}] = ets:lookup(prop_partisan, nodes),
  
              %% Restart Partisan.
              lists:foreach(fun({ShortName, _}) ->
                  ok = rpc:call(?NAME(ShortName), application, stop, [partisan]),
                  {ok, _} = rpc:call(?NAME(ShortName), application, ensure_all_started, [partisan])
              end, Nodes1),
  
              debug("reclustering nodes.", []),
              ClusterFun = fun() ->
                  lists:foreach(fun(Node) -> ?SUPPORT:cluster(Node, Nodes1, Options, Config) end, Nodes1)
              end,
              {ClusterTime, _} = timer:tc(ClusterFun),
              debug("reclustering nodes took ~p ms", [ClusterTime / 1000]),
  
              debug("~p reusing nodes: ~p", [Self, Nodes1]),
  
  
negative.code:     end,
  
      ok.
  
  %% @private
  full_restart() ->
      case os:getenv("FULL_RESTART") of 
          "true" ->
              true;
          _ ->
              false
      end.
  
  %% @private
  restart_nodes() ->
  