anchor.diff:      analyse_to_file(Module, OutFile, Options).
   
   async_analyse_to_file(Module) ->
  -    do_spawn(?MODULE,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(fun() ->
  +    spawn_link(fun() ->
   		  case apply(M,F,A) of
   		      {ok, _} ->
   			  ok;
  
positive.code: 
  init_remote(Starter,MainNode) ->
      register(?SERVER,self()),
      ets:new(?COVER_TABLE, [set, public, named_table]),
      ets:new(?COVER_CLAUSE_TABLE, [set, public, named_table]),
      Starter ! {self(),started},
      remote_process_loop(#remote_state{main_node=MainNode}).
  
negative.code: 
  init_main(Starter) ->
      register(?SERVER,self()),
      %% 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]),
  