anchor.diff:      Chars = ?DELAY(resize(Size, unicode_characters(Encoding))),
       %% TODO: Unicode characters can be of type `maybe_improper_list()'.
       list(frequency([{10,unicode_char()}, {1, Chars}])).
  +
  +arbitrary_term(0) -> 
  +    frequency([{1, []},
  +			  {1, {}},
  +			  {1, map()},
  +			  {1, int()},
  +			  {1, byte()},
  +			  {1, real()},
  +			  {1, atom()},
  +			  {1, bool()},
  +			  {1, char()},
  +			  {1, binary()}
  +			 ]);
  +arbitrary_term(Depth) ->
  +    frequency([{1, list(arbitrary_term(Depth-1))},
  +			  {1, tuple(arbitrary_term(Depth-1))},
  +			  {1, map()},
  +			  {1, int()},
  +			  {1, byte()},
  +			  {1, real()},
  +			  {1, atom()},
  +			  {1, bool()},
  +			  {1, char()},
  +			  {1, binary()}
  +			 ]).
  +
  
positive.code:     end.
  
  %%
  %% Generator for tuples
  %%
  %% @spec tuple(domain(ElemType::any())) -> domain(tuple(ElemType))
  
negative.code: 
  -record(list,  {elem}).
  -record(tuple, {elem}).
  -record(map,   {size}).
  -record(vector,{size, elem}).
  -record(binary,{size}).
  -record(atom,  {size}).
  