anchor.diff:                          Acc and check_local_leases(Pid, Node, Verbose)
                   end, true, gb_trees:to_list(Nodes)).
   
  --spec check_leases_globally(leases_state(), boolean(), pos_integer()) -> boolean().
  -check_leases_globally(State, Verbose, TargetSize) ->
  -    lease_checker(State, Verbose, TargetSize).
  +-spec check_leases_globally(leases_state(), boolean(), options()) -> boolean().
  +check_leases_globally(State, Verbose, Options) ->
  +    lease_checker(State, Verbose, Options).
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   %
  
positive.code:                     gb_trees_filter(F, Acc, Iter2)
              end
      end.
  
negative.code:             trace_mpath:thread_yield(),
              receive
                  ?SCALARIS_RECV({continue_wait, WaitID},% ->
                                 wait_for_clean_leases(WaitTimeInMs, Options, false, NewState))
              end
      end.
  
  -spec check_leases(OldState::leases_state(), Options::options(), First::boolean()) ->
                            {boolean(), leases_state()}.
  check_leases(OldState, Options, First) ->
      LastFailed = OldState#leases_state_t.last_failed,
      NewState = create_new_state(),
      TargetSize = renderTargetSize(Options),
      case {gb_trees:size(OldState#leases_state_t.node_infos),
            gb_trees:size(NewState#leases_state_t.node_infos)} of
          {Old, Old} ->
  