anchor.diff:  %% Tests
   %%----------------------------------------------------------------------------
   
  --ifdef(DISABLED_FOR_NOW).
  +-ifdef(TEST).
   
   proper_test_() ->
       [{atom_to_list(F),
  
positive.code:                        case Q of
                             #not_q{sub_q = S} ->
                                 {S#term_q.keyword,S#term_q.zone_ids};
                             _ ->
                                 {Q#term_q.keyword,Q#term_q.zone_ids}
                         end
                 end,
      {lists:usort([Destruct(Q)||Q <- TermQs]),
  
negative.code: prop_no_nested_or() ->
      ?FORALL(X, q(), not nested_or(dnf({X,depth(X)}))).
  
  nested_or({or_q,L,R}) ->
      nested_or(L) or nested_or(R);
  nested_or({and_q,L,R}) ->
      (is_record(L, or_q) or is_record(R, or_q))
          orelse (nested_or(L) or nested_or(R));
  nested_or({not_q,Q}) ->
      nested_or(Q);
  nested_or(_) ->
  