anchor.diff:  -record(state, { up_nodes = [],
                    services = [],
                    service_pids = [],
  +                 service_healths = [],
                    peers = []}).
   
   -define(QC_OUT(P),
  
positive.code: postcondition(S, {call, _, wait_for_bcast, _}, _Res) ->
      validate_broadcast(S, S, service);
  
  postcondition(S, {call, _, ring_update, [Nodes]}, _Res) ->
      %% Ring update should generate a broadcast to all NEW peers
      Bcasts = broadcasts(),
  
negative.code:     riak_core_eventhandler_sup:start_link(),
      riak_core_ring_events:start_link(),
      riak_core_node_watcher_events:start_link(),
  
      %% meck used for health watch / threshold
      meck:new(mod_health),
  
      ?FORALL(Cmds, commands(?MODULE),
              begin
  