anchor.diff:  
       ?PROPERTY_MODULE:command_preamble(RunnerNode, [sleep]),
   
  -    timer:sleep(20000),
  +    node_debug("sleeping for convergence...", []),
  +    timer:sleep(40000),
   
       ?PROPERTY_MODULE:command_conclusion(RunnerNode, [sleep]),
   
  
positive.code:     [{nodes, Nodes}] = ets:lookup(prop_partisan, nodes),
  
      %% Stop lashup.
      node_debug("stopping lashup", []),
      lists:foreach(fun({ShortName, _}) ->
          node_debug("stopping lashup on node ~p", [ShortName]),
          case rpc:call(?NAME(ShortName), application, stop, [lashup]) of 
              ok ->
                  ok;
              {badrpc, nodedown} ->
                  ok;
              Other ->
                  node_debug("cannot terminate instance: ~p", [Other]),
                  exit({error, shutdown_failed})
          end
      end, Nodes),
  
      ok.
negative.code: 
      %% Enable pid encoding.
      lists:foreach(fun({ShortName, _}) ->
          % node_debug("enabling pid_encoding at node ~p", [ShortName]),
          ok = rpc:call(?NAME(ShortName), partisan_config, set, [pid_encoding, true])
      end, Nodes),
  
      %% Enable register_pid_for_encoding.
      lists:foreach(fun({ShortName, _}) ->
          % node_debug("enabling register_pid_for_encoding at node ~p", [ShortName]),
          ok = rpc:call(?NAME(ShortName), partisan_config, set, [register_pid_for_encoding, true])
      end, Nodes),
  
      %% Load, configure, and start lashup.
      lists:foreach(fun({ShortName, _}) ->
          % node_debug("starting lashup at node ~p", [ShortName]),
          case rpc:call(?NAME(ShortName), application, load, [lashup]) of 
              ok ->
                  ok;
              {error, {already_loaded, lashup}} ->
                  ok;
              Other ->
                  exit({error, {load_failed, Other}})
          end,
  
          % node_debug("starting lashup at node ~p", [ShortName]),
          {ok, _} = rpc:call(?NAME(ShortName), application, ensure_all_started, [lashup])
      end, Nodes),
  
      %% Sleep.
      % node_debug("sleeping for convergence", []),
      timer:sleep(1000),
      % node_debug("done.", []),
  
      ok.
  
  %% @private
  node_crash(Node) ->
      %% Stop lashup.
      % node_debug("stopping lashup on node ~p", [Node]),
      ok = rpc:call(?NAME(Node), application, stop, [lashup]),
  
      ok.
  
  