anchor.diff:                  true
           end,
       Verbose = First orelse not LastFailed orelse Changed,
  -    Res = check_state(NewState, Verbose, TargetSize),
  +    Res = check_state(NewState, Verbose, Options),
       io:format("check_state returned(verbose=~p) ~p~n", [Verbose, Res]),
       {Res, NewState#leases_state_t{last_failed=not Res}}.
   
   -spec check_state(State::leases_state(), Verbose::boolean(),
  -                  TargetSize::pos_integer()) -> boolean().
  -check_state(State, Verbose, TargetSize) ->
  +                  Options::options()) -> boolean().
  +check_state(State, Verbose, Options) ->
       case check_leases_locally(State, Verbose) of
           true ->
  -            case check_leases_globally(State, Verbose, TargetSize) of
  +            case check_leases_globally(State, Verbose, Options) of
                   true ->
                       true;
                   false -> io:format("check_leases_globally failed~n"),
  
positive.code:                     gb_trees_filter(F, Acc, Iter2)
              end
      end.
  
negative.code:     %ct:pal("PassiveLeases: ~p", [PassiveLeases]),
      IsAll = intervals:is_all(NormalizedActiveIntervals),
      IsDisjoint = is_disjoint(ActiveIntervals),
      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
  