anchor.diff:  
           VerAns = VerifyLocation(),
           Flattened = lists:flatten(VerAns),
  -        ct:print("Locations1 ~p", [{Offset, File, 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),
  
positive.code:             end, ProvIDs)
          end),
          Flattened = lists:flatten(VerAns),
          ct:print("Links ~p", [{DSize, Deleted, VerAns}]),
  
          ZerosList = lists:filter(fun(S) -> S == 0 end, Flattened),
          SList = lists:filter(fun(S) -> S == 2*DSize + Deleted + 1 end, Flattened),
  
negative.code:         end,
  
          VerAns0 = VerifyLocation(),
  %%        ct:print("Locations0 ~p", [{Offset, File, VerAns0}]),
  
          Verify(fun(W) ->
              OpenAns = lfm_proxy:open(W, SessId(W), {path, File}, rdwr),
  