anchor.diff:  
   dht_query() ->
      All = [ping_query(), find_node_query(), get_peers_query(), announce_query()],
  -   oneof([{dht_query, Method, transaction(), lists:sort(Params)}
  -         || {Method, Params} <- All]).
  +    oneof([{dht_query, Method, transaction(), lists:sort(Params)}
  +	       || {Method, Params} <- All]).
   
   prop_inv_compact() ->
      ?FORALL(Input, list(dht_node()),
  
positive.code: -module(etorrent_dht_net).
  -include("types.hrl").
  -behaviour(gen_server).
  -import(etorrent_bcoding, [search_dict/2, search_dict_default/3]).
  -import(etorrent_dht, [distance/2, closest_to/3]).
  
negative.code: 
  -ifdef(EQC).
  
  
  properties_test() ->
     ?assert(?MODULE:check()).
  
  