anchor.diff:                                      io:format("the active lease is empty~n");
                                   _ ->
                                       Aux = l_on_cseq:get_aux(ActiveLease),
  -                                    io:format("  rm =:= leases -> ~w~n", [LocalCorrect]),
  -                                    io:format("    active lease=~p~n", [ActiveInterval]),
  -                                    io:format("      my_range  =~p~n", [MyRange]),
  -                                    io:format("      rel_range =~p~n", [RelRange]),
  -                                    io:format("      aux       =~p~n", [Aux]),
  -                                    io:format("    passive     =~p~n", [PassiveLeases])
  +                                    io:format("  ~p~n", [Pid]),
  +                                    io:format("    rm =:= leases -> ~w~n", [LocalCorrect]),
  +                                    io:format("      active lease=~p~n", [ActiveInterval]),
  +                                    io:format("        my_range  =~p~n", [MyRange]),
  +                                    io:format("        rel_range =~p~n", [RelRange]),
  +                                    io:format("        aux       =~p~n", [Aux]),
  +                                    io:format("      passive     =~p~n", [PassiveLeases])
                               end;
                           false ->
                               ok
  
positive.code: %
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  -spec check_local_leases(comm:mypid(), node_info(), boolean()) -> boolean().
  check_local_leases(_Pid, NodeInfo, Verbose) ->
      case NodeInfo of
          empty ->
              false;
  
negative.code: -spec check_leases_locally(leases_state(), boolean()) -> boolean().
  check_leases_locally(#leases_state_t{node_infos=Nodes}, Verbose) ->
      lists:foldl(fun ({Pid, Node}, Acc) ->
                          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().
  