anchor.diff:  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   %% Generators for additionalProperties keyword
   
  +-spec additional_gen (json:json_term() , integer()) -> string().
   additional_gen (_,0) ->
   [];
   
  
positive.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %% Misc functions
  
  floor(X) when X < 0 ->
      T = trunc(X),
      case X - T == 0 of
  
negative.code: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %% Generators for patternProperties keyword
  
  -spec property_name(string()) -> eqc_gen:gen(string()).
  property_name(Pattern) ->
      ?LOG("Pattern name: ~p~n",[Pattern]),
      RegularExpression = binary_to_list(Pattern),
  