anchor.diff:      end.
   
   
  -
  +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  +%% Array gen
   array(Schema,{MinItems,MaxItems}) ->
   
       case MaxItems of
  
positive.code: 
  number_mul_min_max(Mul,Min,Max,{MinExc,MaxExc}) ->
      MinMul = (1 + floor((Min-1) / Mul)),
      MaxMul = floor(Max/  Mul),
  
      case {MinExc,MaxExc} of
  
  	{true,true} ->
  	    ?SUCHTHAT(N, Mul * eqc_gen:choose(MinMul,MaxMul), (N /= Min) and (N /= Max));
  	
  	{true,false} ->
  	    ?SUCHTHAT(N, Mul * eqc_gen:choose(MinMul,MaxMul), N /= Min);
  
  	{false,true} ->
  	    ?SUCHTHAT(N, Mul * eqc_gen:choose(MinMul,MaxMul), N /= Max);
  
  	{false,false} ->
  	    ?LET(N, eqc_gen:choose(MinMul,MaxMul), Mul * N)
      end.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
negative.code: 
  -compile(export_all).
  
   %-define(debug,true).
  
  -ifdef(debug).
  -define(LOG(X,Y),
  