anchor.diff:                                       l_on_cseq:get_range(ActiveLease)
                                end,
               RelRange = get_relative_range(ActiveInterval),
  -            Aux = l_on_cseq:get_aux(ActiveLease),
  +            Aux = case ActiveLease of
  +                      empty -> no_lease;
  +                      _ -> l_on_cseq:get_aux(ActiveLease)
  +                  end,
               LocalCorrect = MyRange =:= ActiveInterval,
  -            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]),
               ok
       end.
   
  
positive.code: -spec check_leases(OldState::leases_state(), TargetSize::pos_integer(), First::boolean()) ->
                            {boolean(), leases_state()}.
  check_leases(OldState, TargetSize, First) ->
      io:format("================= check leases ====================~n"),
      LastFailed = OldState#leases_state_t.last_failed,
      NewState = create_new_state(),
      Changed =
          case compare_node_lists(OldState#leases_state_t.node_infos,
                                  NewState#leases_state_t.node_infos) of
  
negative.code:                                     io:format("the active lease is empty~n");
                                  _ ->
                                      Aux = l_on_cseq:get_aux(ActiveLease),
                                      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
  