anchor.diff:      %ct:pal("PassiveLeases: ~p", [PassiveLeases]),
       IsAll = intervals:is_all(NormalizedActiveIntervals),
       IsDisjoint = is_disjoint(ActiveIntervals),
  -    HaveAllActiveLeases = length(ActiveLeases) == TargetSize,
  +    HaveAllActiveLeases = checkActiveLeases(length(ActiveLeases), Options),
  +    %% HaveAllActiveLeases = length(ActiveLeases) == TargetSize,
       HaveNoPassiveLeases = length(PassiveLeases) == 0,
       HaveAllAuxEmpty = lists:all(fun(L) ->
                                           L =/= empty andalso l_on_cseq:get_aux(L) =:= empty
  
positive.code: %
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec wait_for_clean_leases(WaitTimeInMs::pos_integer(), TargetSize::pos_integer(),
                              First::boolean(), State::leases_state()) -> ok.
  wait_for_clean_leases(WaitTimeInMs, TargetSize, First, State) ->
      case check_leases(State, TargetSize, First) of
          {true, _}  -> ok;
          {false, NewState} ->
              WaitID = uid:get_pids_uid(),
  
negative.code: -type leases_state() :: #leases_state_t{}.
  -type node_info() :: #node_info_t{}.
  
  -type option() :: {ring_size, pos_integer()} | {ring_size_range, pos_integer(), pos_integer()}.
  -type options() :: list(option()).
  
  -export_type([leases_state/0]).
  
  -export([wait_for_clean_leases/2]).
  
  -export([get_kv_db/0, get_kv_db/1]).
  
  