anchor.diff:  
       %% retrieve redundancies
       timer:sleep(100),
  -    attach_1(25),
  -    ok.
  -
  -attach_1(0) ->
  +    attach_1_1(25),
  +    ok.
  +
  +attach_1_1(0) ->
       ok;
  -attach_1(Index) ->
  +attach_1_1(Index) ->
       Key = list_to_binary("key_" ++ integer_to_list(Index)),
       {ok, R1} = leo_redundant_manager_api:get_redundancies_by_key(put, Key),
       {ok, R2} = leo_redundant_manager_api:get_redundancies_by_key(get, Key),
  
positive.code:             ?debugVal({Key, R1#redundancies.vnode_id_to,
                         R1#redundancies.nodes, R2#redundancies.nodes})
      end,
      attach_1(Index - 1).
  
  
  detach_({Hostname}) ->
  
negative.code:      {foreach, fun setup/0, fun teardown/1,
        [{with, [T]} || T <- [fun redundant_manager_0_/1,
                              fun redundant_manager_1_/1,
                              fun attach_1_/1,
                              fun attach_2_/1,
                              fun detach_/1,
  
                              fun members_table_/1,
  