anchor.diff:  %% Tests
   %%----------------------------------------------------------------------------
   
  --ifdef(DISABLED_FOR_NOW).
  +-ifdef(TEST).
   
   proper_test_() ->
       [{atom_to_list(F),
  
positive.code: -type q() :: {and_q,  q(), q()} |
               {or_q,   q(), q()} |
               {not_q,  q()     } |
               {term_q, doko_utf8:str(), list(doko_doc:zone_id())}.
  
  %%----------------------------------------------------------------------------
  %% API
  %%----------------------------------------------------------------------------
  
  -spec execute(atom(), doko_utf8:str()) -> gb_set(). %% TODO: might return an error
  execute(IndexId, Str) ->
      %% parse and preprocess query
      Clauses = [partition(flatten(X))||X <- clauses(dnf(from_str(Str)))],
  
negative.code: -module(doko_query).
  -ifdef(TEST).
  -include_lib("proper/include/proper.hrl").
  -include_lib("eunit/include/eunit.hrl").
  -endif.
  