anchor.diff:  next_state(S, _Res, {call, _, wait_for_bcast, _}) ->
       S;
   
  +next_state(S, _, {call, _, healthy_new_service, [_Service]}) ->
  +    meck:expect(mod_health, callback, fun (Pid, true) when is_pid(Pid) ->
  +        true
  +    end),
  +    S;
  +
  +next_state(S, Res, {call, M, healthy_existing_service, [Service]}) ->
  +    meck:expect(mod_health, callback, fun (Pid, true) when is_pid(Pid) ->
  +        true
  +    end),
  +    next_state(S, Res, {call, M, local_service_up, [Service]});
  +
  +next_state(S, Res, {call, M, unhealthy_service, [Service]}) ->
  +    meck:expect(mod_health, callback, fun (Pid, false) when is_pid(Pid) ->
  +        false
  +    end),
  +    next_state(S, Res, {call, M, local_service_up, [Service]});
  +
  +next_state(S, Res, {call, M, recovering_service, [Service]}) ->
  +    meck:sequence(mod_health, callback, 2, [false, true]),
  +    next_state(S, Res, {call, M, local_service_up, [Service]});
  +
  +next_state(S, Res, {call, M, faulty_health_check_callback_once, [Service]}) ->
  +    meck:expect(mod_health, callback, fun(_Pid, error_once) ->
  +        case put(meck_boomed, true) of
  +            false ->
  +                meck:exception(meck_boomed);
  +            true ->
  +                true
  +        end
  +    end),
  +    next_state(S, Res, {call, M, local_service_up, [Service]});
  +
  +next_state(S, Res, {call, M, faulty_health_check_callback_many, [Service]}) ->
  +    meck:expect(mod_health, callback, fun(_Pid, error) ->
  +        meck:exception(meck_boomed)
  +    end),
  +    next_state(S, Res, {call, M, local_service_up, [Service]});
  +
   next_state(S, _Res, {call, _, ring_update, [Nodes]}) ->
       Peers = ordsets:del_element(node(), ordsets:from_list(Nodes)),
       peer_filter(S#state { peers = Peers }).
  +
   
   
   
  
positive.code: g_ring_nodes() ->
      vector(app_helper:get_env(riak_core, ring_creation_size),
             oneof([node(), 'n1@127.0.0.1', 'n2@127.0.0.1', 'n3@127.0.0.1'])).
  
  
  %% ====================================================================
  %% Calls
  
negative.code:            {call, ?MODULE, remote_service_up, [g_node(), g_services()]},
             {call, ?MODULE, remote_service_down, [g_node()]},
             {call, ?MODULE, remote_service_down_disterl, [g_node()]},
             {call, ?MODULE, wait_for_bcast, []},
             {call, ?MODULE, healthy_new_service, [g_service()]},
             {call, ?MODULE, healthy_existing_service, [g_service()]},
             {call, ?MODULE, unhealthy_service, [g_service()]},
             {call, ?MODULE, recovering_service, [g_service()]},
             {call, ?MODULE, faulty_health_check_callback_once, [g_service()]},
             {call, ?MODULE, faulty_health_check_callback_many, [g_service()]}
            ]).
  
  precondition(S, {call, _, local_service_kill, [Service, S]}) ->
  