anchor.diff:  step_down(State) ->
       step_down(probe, State).
   
  -step_down(Next, State=#state{lease=Lease}) ->
  +step_down(Next, State=#state{lease=Lease, watchers=Watchers}) ->
       ?OUT("~p: stepping down~n", [State#state.id]),
  +    notify_leader_status(Watchers, Next, State),
       riak_ensemble_lease:unlease(Lease),
       State2 = cancel_timer(State),
       reset_workers(State),
  
positive.code: 
  %% Support/debug API
  -export([count_quorum/2, ping_quorum/2, check_quorum/2, force_state/2,
           get_info/1, stable_views/2, tree_info/1]).
  
  %% Exported internal callback functions
  -export([do_kupdate/4, do_kput_once/4, do_kmodify/4]).
  
negative.code:                 async         :: pid(),
                  tree          :: pid(),
                  lease         :: riak_ensemble_lease:lease_ref(),
                  watchers = [] :: [pid()],
                  self          :: pid()
                 }).
  
  