anchor.diff:               describe_nodes(gb_trees_filter(fun (Pid, _Node) ->
                                                       ordsets:is_element(Pid, LostPids) end,
                                               OldNodeInfos)),
  -             io:format("end lost~n", [])
       end,
       %% found
       _ = case ordsets:size(FoundPids) of
  
positive.code:                     case l_on_cseq:get_aux(OldLease) =:= l_on_cseq:get_aux(NewLease) of
                          true -> ok;
                          false ->
                              io:format("    the aux has changed ~p -> ~p",
                                        [l_on_cseq:get_aux(OldLease),
                                         l_on_cseq:get_aux(NewLease)])
                      end
  
negative.code:                 false ->
                      case Verbose of
                          true ->
                              case ActiveLease of
                                  empty ->
                                      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])
                              end;
                          false ->
                              ok
                      end,
  