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:     wait_for_avsn(Avsn0),
      Pid.
  
  health_service_up(Service, S) ->
      Self = self(),
      health_meck(fun(P1, P2) ->
  
negative.code: next_state(S, _Res, {call, _, wait_for_bcast, _}) ->
      S;
  
  next_state(S, Res, {call, _, HPService, [Service]}) when HPService =:= health_service; HPService =:= health_service_defaults ->
      S2 = service_up(node(), Service, S),
      Pids = orddict:store(Service, Res, S2#state.service_pids),
      Healths = orddict:store(Service, Res, S2#state.service_healths),
      S2#state { service_pids = Pids, service_healths = Healths};
  
  %next_state(S, Res, {call, _, health_service_defaults, [Service]}) ->
  %    S2 = service_up(node(), Service, S),
  %    Pids = orddict:store(Service, Res, S2#state.service_pids),
  %    Healths = orddict:store(Service, Res, S2#state.service_healths),
  %    S2#state { service_pids = Pids, service_healths = Healths};
  
  next_state(S, _Res, {call, _, health_service_up, [Service, _]}) ->
      S2 = service_up(node(), Service, S),
  