anchor.diff:      [{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]),
  +        % 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]),
  +            {error, {not_started, lashup}} ->
  +                ok;
  +            LashupError ->
  +                node_debug("cannot terminate lashup: ~p", [LashupError]),
  +                exit({error, shutdown_failed})
  +        end,
  +
  +        % node_debug("stopping prometheus on node ~p", [ShortName]),
  +        case rpc:call(?NAME(ShortName), application, stop, [prometheus]) of 
  +            ok ->
  +                ok;
  +            {badrpc, nodedown} ->
  +                ok;
  +            PrometheusError ->
  +                node_debug("cannot terminate prometheus: ~p", [PrometheusError]),
                   exit({error, shutdown_failed})
           end
       end, Nodes),
   
  +    % %% Remove the old mnesia files.
  +    % RmResult = os:cmd("rm -rf Mnesia.*"),
  +    % node_debug("removing old mnesia files: result: ~p", [RmResult]),
  +
       ok.
positive.code: 
      ?PROPERTY_MODULE:command_preamble(RunnerNode, [sleep]),
  
      timer:sleep(20000),
  
      ?PROPERTY_MODULE:command_conclusion(RunnerNode, [sleep]),
  
  
negative.code: 
  %% Global functions.
  node_global_functions() ->
      [check_delivery, sleep].
  
  %% What should the initial node state be.
  node_initial_state() ->
  