anchor.diff:      maps:fold(fun(_, V, Acc) ->
           case V of
               {ID, file_location} ->
  -                ?assertMatch({ok, _}, rpc:call(W, file_location, get, [ID])),
  -                Acc + 1;
  +                case rpc:call(W, file_location, get, [ID]) of
  +                    {ok, _} -> Acc + 1;
  +                    _ -> Acc
  +                end;
               _ ->
                   Acc
           end
  
positive.code:             ?match({ok, FileCheck}, lfm_proxy:read(W, Handle, 0, Size), Attempts)
          end),
  
          VerAns = VerifyLocation(),
          Flattened = lists:flatten(VerAns),
          ct:print("Locations1 ~p", [{Offset, File, VerAns}]),
  
          ZerosList = lists:filter(fun(S) -> S == 0 end, Flattened),
          LocationsList = lists:filter(fun(S) -> S == 1 end, Flattened),
  
          ?assertEqual((SyncNodes+ProxyNodes)*(SyncNodes+ProxyNodes) - SyncNodes*SyncNodes - ProxyNodesWritten, length(ZerosList)),
          ?assertEqual(SyncNodes*SyncNodes + ProxyNodesWritten, length(LocationsList))
      end,
      VerifyFile({2, Level2File}),
  
  
negative.code:         {ok, Handle} = OpenAns,
          WriteBuf = atom_to_binary(W, utf8),
          Offset = size(Acc),
          WriteSize = size(WriteBuf),
          ?assertMatch({ok, WriteSize}, lfm_proxy:write(W, Handle, Offset, WriteBuf)),
          NewAcc = <<Acc/binary, WriteBuf/binary>>,
  
          Verify(fun(W2) ->
  