anchor.diff:  
   init_main(Starter) ->
       register(?SERVER,self()),
  -    ets:new(?COVER_TABLE, [set, public, named_table]),
  +    %% Having write concurrancy here gives a 40% performance boost
  +    %% when collect/1 is called. 
  +    ets:new(?COVER_TABLE, [set, public, named_table
  +			   ,{write_concurrency, true}
  +			  ]),
       ets:new(?COVER_CLAUSE_TABLE, [set, public, named_table]),
       ets:new(?BINARY_TABLE, [set, named_table]),
       ets:new(?COLLECTION_TABLE, [set, public, named_table]),
  
positive.code: escape_lt_and_gt1([H|T],Acc) ->
      escape_lt_and_gt1(T,[H|Acc]).
  
  pmap(Fun,List) ->
      Collector = self(),
      Pids = lists:map(fun(E) ->
  			     spawn_link(fun() ->
  						?SPAWN_DBG(pmap,E),
  						Collector ! {res,self(),Fun(E)} 
  					end) 
  		     end, List),
      lists:map(fun(Pid) ->
  		      receive
  			  {res,Pid,Res} ->
  			      Res
  		      end
  	      end, Pids).
  
negative.code:     analyse_to_file(Module, OutFile, Options).
  
  async_analyse_to_file(Module) ->
      do_spawn(?MODULE, analyse_to_file, [Module]).
  async_analyse_to_file(Module, OutFileOrOpts) ->
      do_spawn(?MODULE, analyse_to_file, [Module, OutFileOrOpts]).
  async_analyse_to_file(Module, OutFile, Options) ->
      do_spawn(?MODULE, analyse_to_file, [Module, OutFile, Options]).
  
  do_spawn(M,F,A) ->
      spawn_link(fun() ->
  		  case apply(M,F,A) of
  		      {ok, _} ->
  			  ok;
  