anchor.diff:  -spec prop_foldl([backend_beh:entry()], backend_beh:interval(),
                    non_neg_integer()) -> true.
   prop_foldl(Data, Interval, MaxNum) ->
  -    {DB1, ScrubedData} =
  -                         write_scrubed_to_db(?TEST_DB:new(randoms:getRandomString()),
  -                                             Data),
  -    {ExpInInterval, _NotIn} = lists:partition(
  -                                fun(E) ->
  -                                        is_in(Interval, element(1, E))
  -                                end,
  -                                ScrubedData),
  +    {DB1, ScrubbedData} =
  +        write_scrubbed_to_db(?TEST_DB:new(randoms:getRandomString()), Data),
  +    ExpInInterval = [El || El <- ScrubbedData,
  +                           is_in(Interval, element(1, El))],
       ExpInIntervalCounted = lists:sublist(lists:keysort(1, ExpInInterval), MaxNum),
       AllFold = ?TEST_DB:foldl(DB1, fun(E, AccIn) -> [E | AccIn] end, []),
       IntervalFold = ?TEST_DB:foldl(DB1,
  
positive.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  -spec prop_get([backend_beh:entry()]) -> true.
  prop_get(Data) ->
      {DB1, ScrubedData} =
                           write_scrubed_to_db(?TEST_DB:new(randoms:getRandomString()),
                                               Data),
      GetData = lists:foldl(
              fun(Entry, AccIn) ->
                  [?TEST_DB:get(DB1, element(1, Entry)) | AccIn]
              end, [], ScrubedData),
      ?equals_w_note(lists:sort(ScrubedData), lists:sort(GetData), "check_db_put1"),
      check_db(DB1, GetData, "check_db_put1"),
      ?TEST_DB:close(DB1),
      true.
  
negative.code: -spec prop_foldr([backend_beh:entry()], backend_beh:interval(),
                   non_neg_integer()) -> true.
  prop_foldr(Data, Interval, MaxNum) ->
      {DB1, ScrubbedData} =
          write_scrubbed_to_db(?TEST_DB:new(randoms:getRandomString()), Data),
      ExpInInterval = [El || El <- ScrubbedData,
                             is_in(Interval, element(1, El))],
      ExpInIntervalCounted = lists:sublist(lists:reverse(lists:keysort(1, ExpInInterval)), MaxNum),
      AllFold = ?TEST_DB:foldr(DB1, fun(E, AccIn) -> [E | AccIn] end, []),
      IntervalFold = ?TEST_DB:foldr(DB1,
  