anchor.diff:  
   -compile(export_all).
   
  --define(debug,true).
  +% -define(debug,true).
   
   -ifdef(debug).
   -define(LOG(X,Y),
  
positive.code: integer() ->
      eqc_gen:int().
  
  integer_min(Min) ->
      ?LET(N, eqc_gen:nat(), N + Min).
  
  integer_max(Max) ->
      ?LET(N, nat(), Max - N).
  
  integer_min_max(Min,Max) ->
      eqc_gen:choose(Min,Max).
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  number() ->
  
negative.code: 
  	    Gen = case {Min, Max} of
  		{undefined, undefined} ->
  		    multiple_of(Multiple);
  		    
  		{Min, undefined} ->
  		    multiple_of_min(Multiple, Min);
  			
  		{undefined, Max} ->
  		    multiple_of_max(Multiple, Max);
  
  		{Min, Max} ->
  		    multiple_of_min_max(Multiple, Min,Max)
  		  end,
              Gen;
   
  			%Creating the generator
  
  