anchor.diff:             {call, ?MODULE, remote_service_down_disterl, [g_node()]},
              {call, ?MODULE, wait_for_bcast, []},
              {call, ?MODULE, health_service, [g_service()]},
  +           {call, ?MODULE, health_service_defaults, [g_service()]},
              {call, ?MODULE, health_service_up, [g_service(), S]},
              {call, ?MODULE, health_service_down, [g_service(), S]},
              {call, ?MODULE, health_service_error, [g_service(), S]}
  
positive.code:     validate_broadcast(S, S2, service),
      deep_validate(S2);
  
  postcondition(S, {call, _, health_service_up, [Service, _]}, _Res) ->
      case is_service_up(node(), Service, S) of
          true ->
  
negative.code:     wait_for_avsn(Avsn0),
      Pid.
  
  health_service_defaults(Service) ->
      Avsn0 = riak_core_node_watcher:avsn(),
      Pid = spawn(fun() -> service_loop() end),
      ok = riak_core_node_watcher:service_up(Service, Pid, {mod_health, callback, [Pid]}),
      wait_for_avsn(Avsn0),
      Pid.
  
  health_service_up(Service, S) ->
      Self = self(),
      health_meck(fun(P1, P2) ->
  