anchor.diff:      true.
   
   -endif.
  -
  
positive.code:     end,
      R = receive_fold_results([]),
      lists:sort(Keys) =:= lists:sort(R);
  postcondition(_From, _To, S,
                {call, _M, fold_keys, [_FoldFun, _Acc, [{index, Bucket,{range, <<"$key">>, Min, Max}}], _BeState]}, FoldRes) ->
      ExpectedEntries = orddict:to_list(S#qcst.d),
  
negative.code:     oneof([
             {eq, <<"$bucket">>, bucket()}, %% the bucket() in this query is ignored/transformed
             range_query(<<"$key">>, key(), key()),
             {eq, <<"$key">>, key()},
             eq_query(),
             range_query()
            ]).
  