anchor.diff:          ToMatch = {(SyncNodes+ProxyNodes)*(SyncNodes+ProxyNodes) - SyncNodes*SyncNodes
               - ProxyNodesWritten*NodesOfWriteProvider,
               SyncNodes*SyncNodes + ProxyNodesWritten*NodesOfWriteProvider},
  -        ?match(ToMatch, AssertLocations(), Attempts)
  -    end,
  +        ?match(ToMatch, AssertLocations(), Attempts),
  +
  +        LocToAns = Verify(fun(W) ->
  +            StatAns = lfm_proxy:stat(W, SessId(W), {path, File}),
  +            ?assertMatch({ok, #file_attr{}}, StatAns),
  +            {ok, #file_attr{uuid = FileGUID}} = StatAns,
  +            FileUUID = fslogic_uuid:file_guid_to_uuid(FileGUID),
  +
  +            {W, lists:flatten(lists:foldl(fun(ProvID, Acc) ->
  +                case rpc:call(W, file_meta, get, [links_utils:links_doc_key(FileUUID, ProvID)]) of
  +                    {error, {not_found, _}} ->
  +                        Acc;
  +                    GetAns ->
  +                        ?assertMatch({ok, #document{value = #links{}}}, GetAns),
  +                        {ok, #document{value = Links}} = GetAns,
  +                        [get_locations(W, Links) | Acc]
  +                end
  +            end, [], ProvIDs))}
  +        end),
  +        {File, FileUUID, LocToAns}
  +    end,
  +
  +    VerifyDel = fun({F,  FileUUID, Locations}) ->
  +        Verify(fun(W) ->
  +            ct:print("Del ~p", [{W, F,  FileUUID, Locations}]),
  +            ?match({error, ?ENOENT}, lfm_proxy:stat(W, SessId(W), {path, F}), Attempts),
  +            ?match({error, {not_found, _}}, rpc:call(W, file_meta, get, [FileUUID]), Attempts),
  +            lists:foreach(fun(ProvID) ->
  +                ?match({error, {not_found, _}},
  +                    rpc:call(W, file_meta, get, [links_utils:links_doc_key(FileUUID, ProvID)]), Attempts)
  +            end, ProvIDs),
  +            lists:foreach(fun(Location) ->
  +                ?match({error, {not_found, _}},
  +                    rpc:call(W, file_meta, get, [Location]), Attempts)
  +            end, proplists:get_value(W, Locations, []))
  +        end)
  +    end,
  +
       VerifyFile({2, Level2File}),
   
       lists:foreach(fun(W) ->
  
positive.code: 
          VerifyLocation = fun() ->
              Verify(fun(W) ->
                  StatAns = lfm_proxy:stat(W, SessId(W), {path, File}),
                  ?assertMatch({ok, #file_attr{}}, StatAns),
                  {ok, #file_attr{uuid = FileGUID}} = StatAns,
                  FileUUID = fslogic_uuid:file_guid_to_uuid(FileGUID),
  
                  lists:map(fun(ProvID) ->
                      case rpc:call(W, file_meta, get, [links_utils:links_doc_key(FileUUID, ProvID)]) of
                          {error, {not_found, _}} ->
  
negative.code:         ?assertMatch(ok, lfm_proxy:unlink(Worker1, SessId(Worker1), {path, D}))
      end, Level3Dirs2),
  
      lists:map(fun(F) ->
          VerifyDel(F)
      end, Level4FilesVerified),
      lists:map(fun({D, Uuid}) ->
          VerifyDel({D, Uuid, []})
      end, lists:zip(Level3Dirs2, Level3Dirs2Uuids)),
      VerifyDirSize(Level3Dir, 0, length(Level4Files)),
      VerifyDirSize(Level2Dir, length(Level3Dirs) + 1, length(Level3Dirs2)),
  
  