anchor.diff:  -record(state, { status = up,
                    services = [],
                    health_checks = [],
  +                 healths_enabled = true,
                    peers = [],
                    avsn = 0,
                    bcast_tref,
  
positive.code: start_health_check(_Service, Check) ->
      Check.
  
  next_health_tref(_, infinity, _) ->
      undefined;
  next_health_tref(N, V, Service) ->
      Time = determine_time(N, V),
      erlang:send_after(Time, self(), {check_health, Service}).
  
  determine_time(Failures, BaseInterval) when Failures < 4 ->
      BaseInterval;
  
  
negative.code:     Transition = {State#state.status, Status},
      S2 = case Transition of
               {up, down} -> %% up -> down
                   case State#state.healths_enabled of
                       true ->
                           Healths = all_health_fsms(suspend, State#state.health_checks);
                       false ->
                           Healths = State#state.health_checks
                   end,
                   local_delete(State#state { status = down, health_checks = Healths});
  
               {down, up} -> %% down -> up
                   case State#state.healths_enabled of
                       true ->
                           Healths = all_health_fsms(resume, State#state.health_checks);
                       false ->
                           Healths = State#state.health_checks
                   end,
                   local_update(State#state { status = up, health_checks = Healths });
  
               {Status, Status} -> %% noop
  