anchor.diff:  nested_or(_) ->
       false.
   
  +-endif.
  +
   %% Local variables:
   %% mode: erlang
   %% fill-column: 78
  
positive.code:     Q#term_q.keyword.
  
  %%----------------------------------------------------------------------------
  %% PropErties
  %%----------------------------------------------------------------------------
  
  prop_all_not_element() ->
      ?FORALL(X, q(), not_element(dnf({X,depth(X)}))).
  
negative.code: -module(dk_q).
  -ifdef(TEST).
  -include_lib("proper/include/proper.hrl").
  -include_lib("eunit/include/eunit.hrl").
  -endif.
  
  %% API
  -export([execute/1]).
  