anchor.diff:                                                          MinOpts - length(OptPropsGen)),
                               ?LET(PatternPropsGen, choose_properties(lists:concat(PatternGen), 
                                                           MinOpts - length(OptPropsGen), MaxOpts), 
  -
  -                                 %OptPropsGen ++ PatternPropsGen
  -                                       
                                    begin
  -                                    ?LOG("*** FINAL PROPERTIES: ~p***~n",[length(OptPropsGen ++ PatternPropsGen ++ ReqProps)]),
  +                                    ?LOG("*** FINAL PROPERTIES: ~p***~n",
  +                                         [length(OptPropsGen ++ PatternPropsGen ++ ReqProps)]),
                                   RawProperties = 
                                       [{P,json(S,Options)} ||
                                           {P,S} <- ReqProps
  
positive.code: %% an Erlang QuickCheck generator.
  %% @author Ángel Herranz (aherranz@fi.upm.es), Lars-Ake Fredlund 
  %% (lfredlund@fi.upm.es), Sergio Gil (sergio.gil.luque@gmail.com)
  %% @copyright 2013 Ángel Herranz, Lars-Ake Fredlund, Sergio Gil 
  %%
  
  -module(jsongen).
  
  
negative.code:       ExcMinScanned = jsonschema:keyword(Schema,"exclusiveMinimum",false),
        Multiple = jsonschema:keyword(Schema,"multipleOf",1),
        
        % Setting up keywords
        case MaxScanned of
  	undefined ->
  	  Max = undefined;
  