anchor.diff:  	{From, {{analyse, Analysis, Level}, Module}} ->
   	    S = try 
   		    Loaded = is_loaded(Module, State),
  -		    analyse_info(Module,State#main_state.imported),
  -		    C = case Loaded of
  -			    {loaded, _File} ->
  -				[{Module,Clauses}] = 
  -				    ets:lookup(?COVER_TABLE,Module),
  -				collect(Module,Clauses,State#main_state.nodes),
  -				Clauses;
  -			    _ ->
  -				[{Module,Clauses}] = 
  -				    ets:lookup(?COLLECTION_TABLE,Module),
  -				Clauses
  -			end,
  -		    R = do_analyse(Module, Analysis, Level, C),
  -		    reply(From, R),
  +		    spawn(fun() ->
  +				  do_parallel_analysis(
  +				    Module, Analysis, Level, 
  +				    Loaded, From, State)
  +			  end),
   		    State
   		catch throw:Reason ->
   			reply(From,{error, {not_cover_compiled,Module}}),
  
positive.code: 
  	{From, {export,OutFile,Module}} ->
  	    spawn(fun() ->
  			  io:format(user, "EXPORTING: ~p to ~p~n",[Module, OutFile]),
  			  do_export(Module, OutFile, From, State)
  		  end),
  	    main_process_loop(State);
  
negative.code: 	{From, {{analyse_to_file, OutFile, Opts},Module}} ->
  	    S = try 
  		    Loaded = is_loaded(Module, State),
  		    spawn(fun() ->
  				  do_parallel_analysis_to_file(
  				    Module, OutFile, Opts, 
  				    Loaded, From, State)
  			  end),
  		    State
  		catch throw:Reason ->
  			reply(From,{error, {not_cover_compiled,Module}}),
  			not_loaded(Module, Reason, State)
  