anchor.diff:      {DomList,List} = pick(tuple_to_list(T), SampleSize),
       {list_to_tuple(DomList), list_to_tuple(List)};
   %%
  -%% for Lists, we traverse down the list and generate
  -%% each head
  +%% For lists, we traverse down the list and generate each head
   %%
   pick([], _) -> {[],[]};
   pick([H|T], SampleSize)
  
positive.code: -spec byte() -> domrec(integer()).
  byte() ->
      int(0, 255).
  
  %% @doc The domain of positive integers.
  %% @spec pos_integer() -> domain(pos_integer())
  
negative.code: 	{{_,H}, {_,T}} ->
  	    shrink_pair(ListDom,List,NAttempts-1);
  
  	%% either H or T changed
  	{{HSDom,HS}, {TSDom,TS}} ->
  	    {[HSDom|TSDom], [HS|TS]}
      end.
  