anchor.diff:  
       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)
               % TODO - match to chosen error (check perms may also result in ENOENT)
               ?match({error, _}, lfm_proxy:stat(W, SessId(W), {path, F}), Attempts)
  
positive.code: 
      VerifyFile({2, Level2File}),
  
      ct:print("Stage 1"),
      lists:foreach(fun(W) ->
          Level2TmpDir = <<Dir/binary, "/", (generator:gen_name())/binary>>,
          ct:print("mkdir ~p", [{W, Level2TmpDir}]),
          ?assertMatch({ok, _}, lfm_proxy:mkdir(W, SessId(W), Level2TmpDir, 8#755)),
          VerifyStats(Level2TmpDir, true),
  
          lists:foreach(fun(W2) ->
              Level3TmpDir = <<Level2TmpDir/binary, "/", (generator:gen_name())/binary>>,
              ct:print("mkdir ~p", [{W2, Level3TmpDir}]),
              ?assertMatch({ok, _}, lfm_proxy:mkdir(W2, SessId(W2), Level3TmpDir, 8#755)),
              VerifyStats(Level3TmpDir, true)
          end, Workers)
      end, Workers),
      ct:print("Stage 2"),
      lists:map(fun(D) ->
          ?assertMatch({ok, _}, lfm_proxy:mkdir(Worker1, SessId(Worker1), D, 8#755))
      end, Level3Dirs),
      ct:print("Stage 3"),
      lists:map(fun(D) ->
          VerifyStats(D, true)
      end, Level3Dirs),
      ct:print("Stage 4"),
      lists:map(fun(D) ->
          ?assertMatch({ok, _}, lfm_proxy:mkdir(Worker1, SessId(Worker1), D, 8#755))
      end, Level3Dirs2),
      ct:print("Stage 5"),
      ?assertMatch({ok, _}, lfm_proxy:mkdir(Worker1, SessId(Worker1), Level3Dir, 8#755)),
      lists:map(fun(F) ->
          CreateFile(F)
      end, Level4Files),
      ct:print("Stage 6"),
      VerifyDirSize = fun(DirToCheck, DSize, Deleted) ->
          VerAns0 = Verify(fun(W) ->
              CountChilden = fun() ->
                  LSAns = lfm_proxy:ls(W, SessId(W), {path, DirToCheck}, 0, 200),
                  ct:print("LSOut ~p", [{W, DirToCheck, LSAns}]),
                  ?assertMatch({ok, _}, LSAns),
                  {ok, ListedDirs} = LSAns,
                  length(ListedDirs)
              end,
              CS = CountChilden(),
              ct:print("DirSize ~p vs ~p", [{W, DSize}, CS]),
              ?match(DSize, CountChilden(), Attempts),
  
              StatAns = lfm_proxy:stat(W, SessId(W), {path, DirToCheck}),
  
negative.code:     ProxyNodesWritten = ProxyNodesWritten0 * NodesOfProvider,
      Workers = ?config(op_worker_nodes, Config),
  
  %%    ct:print("Workers: ~p", [Workers]),
      Worker1 = lists:foldl(fun(W, Acc) ->
          case is_atom(Acc) of
              true ->
  