anchor.diff:      %?SIZED(Size,list_to_binary(name())).
   
   
  +-spec stringGen(integer()) -> eqc_gen:gen(string()).
   stringGen(0) ->
       [];
   
  
positive.code:                  end,[],AddTypes).
  
  
  additional_gen(_Schema,0,_) ->
      [];
  
  
negative.code: 
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  -spec boolean() -> eqc_gen:gen(boolean()).
  boolean() ->
      eqc_gen:bool().
  
  -spec string() -> eqc_gen:gen(string()).
  string() ->
      % TODO: generator of valid JSON strings
      % Its not a good generator. Implementation has to be changed
  