anchor.diff:  	 list_to_tuple([K | L])).
   
   pattern() ->
  -    oneof([pattern_special(), list(smaller(?DELAY(pattern()))), tuple(smaller(?DELAY(pattern()))), any()]).
  +    oneof([pattern_special(), list(smaller(?DELAY(pattern()))), tuple(smaller(?DELAY(pattern()))), any2()]).
   
   pattern_special() ->
       oneof(['_', '$1', '$2', '$3', '$10', '$01', '$$']).
  
positive.code: ets_do({match_object, Tab, Pattern}) -> ets:match_object(Tab, Pattern);
  ets_do({match_delete, Tab, Pattern}) -> ets:match_delete(Tab, Pattern);
  ets_do({info, Tab}) -> [{P,ets:info(Tab,P)}
  			|| P <- [name, type, size, named_table, keypos, protection]].
  
  
  %% ===========================================
  %% Run erlang:Fun(Args) here
  
negative.code:     oneof([table1, table2]).
  
  table_key() ->
      ?SUCHTHAT(X,oneof([key1, "key2", 123, 123.0, smaller(?DELAY(any2()))]), X/=[]). % Workaround "[] key in ordered_set" bug in erts<5.8.1 .
  
  table_tuple() ->
      ?LET({K,L}, {table_key(), list(smaller(oneof([any2(), pattern()])))},
  	 list_to_tuple([K | L])).
  
  table_tuple_pattern() ->
  