anchor.diff:  -define(LOG(X,Y),true).
   -endif.
   
  --define(MAX_PROPERTIES,10).
  +%-define(MAX_PROPERTIES,10). %% TO REMOVE IN NEXT UPDATE
   
   -include_lib("eqc/include/eqc.hrl").
   
  
positive.code:                     end));
             
          {PatternProperties, undefined} ->
            ?LET(N_opt, randIntPositive(0,length(OptProps)),
                 ?LET(N_prop, randIntPositive(MinOpts - N_opt,MaxOpts - N_opt),
                      ?LET({OptPropsGen, PatPropsGen},
                           {choose_n_properties(OptProps,N_opt),
                            create_patterns(PatternProperties,N_prop)},
  
negative.code:             eqc_gen:choose(Min,Max)
         end;
  
  randIntPositive(_Min,Max) when Max < 0 ->
      0;
  
  randIntPositive(_Min,Max) ->
      eqc_gen:choose(0,Max).
  
  