anchor.diff:  	   {delete, table_name(), table_key()},
   	   {match_object, table_name(), table_tuple_pattern()},
   	   {match_delete, table_name(), table_tuple_pattern()},
  -	   {info, table_name()}
  +	   {info, table_name()},
  +	   {key_walk, table_name(), ?SUCHTHAT(X, oneof([forward, backward]), X/=backward)}  % Implementation of prev & last is missing yet
  +	  ]).
  +
  +any2() ->
  +    oneof([int(), real(), bool(), atom(),
  +
  +	   [smaller(?DELAY(any())) | smaller(?DELAY(any()))],
  +
  +	   %% list(any()), but with a size in the range 1..GenSize
  +	   list(smaller(?DELAY(any()))),
  +
  +	   tuple(smaller(?DELAY(any()))),
  +
  +	   ?LET(X, list(choose(0,255)), list_to_binary(X))
  +
   	  ]).
   
   
   ets_program() ->
       smaller(list(ets_cmd())).
   
  -xany()  ->
  -    oneof([int(), real(), bool(), atom(), 
  -
  -	   %% also test integers around +/- MIN_INT32 limits
  -	   choose(?MIN_INT32-10, ?MIN_INT32+10),
  -	   choose(?MAX_INT32-10, ?MAX_INT32+10),
  -
  -	   %% also test integers around +/- MIN_INT64 limits
  -	   choose(?MIN_INT64-10, ?MIN_INT64+10),
  -	   choose(?MAX_INT64-10, ?MAX_INT64+10),
  -
  -	   [smaller(?DELAY(any())) | smaller(?DELAY(any()))],
  -
  -	   %% list(any()), but with a size in the range 1..GenSize
  -	   list(smaller(?DELAY(any()))),
  -
  -	   tuple(smaller(?DELAY(any())))
  -
  -	  ]).
   
   prop_same_ets_behaviour() ->
       ?FORALL(X, ets_program(),
  
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: 	 list_to_tuple([K | L])).
  
  pattern() ->
      oneof([pattern_special(), list(smaller(?DELAY(pattern()))), tuple(smaller(?DELAY(pattern()))), any2()]).
  
  pattern_special() ->
      oneof(['_', '$1', '$2', '$3', '$10', '$01', '$$']).
  