anchor.diff:           [ { stringGen(Length) , {struct,[Schema]}}  | additional_gen(Schema,N-1,Length)].
   
   ceiling(X) ->
  -    T = erlang:trunc(X),
  +    T = trunc(X),
       case (X - T) of
  -        Neg when Neg < 0 -> T;
  -        Pos when Pos > 0 -> T + 1;
  +
  +        Negative when Negative < 0 -> T;
  +        Positive when Positive > 0 -> T + 1;
           _ -> T
  +
       end.
   
   
  
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:                                                         MinOpts - length(OptPropsGen)),
                              ?LET(PatternPropsGen, choose_properties(lists:concat(PatternGen), 
                                                          MinOpts - length(OptPropsGen), MaxOpts), 
                                   begin
                                      ?LOG("*** FINAL PROPERTIES: ~p***~n",
                                           [length(OptPropsGen ++ PatternPropsGen ++ ReqProps)]),
                                  RawProperties = 
                                      [{P,json(S,Options)} ||
                                          {P,S} <- ReqProps
  