anchor.diff:  
   get_callgraph(SearchPaths, State) ->
       case lists:keysearch(SearchPaths, 1, State#state.callgraph) of 
  -	{value, {SearchPaths, CallGraph}} ->
  -	    {CallGraph, State};	
  +	{value, {SearchPaths, _CallGraph}} ->
  +           %%{CallGraph, State};	  %% Here we should check the time stamp of individual files;
  +	    %% Temporally rebuilt the callgraph! TODO: Change to use timestamp!!!
  +	     CallGraph = refac_util:build_scc_callgraph(SearchPaths),
  +	    {CallGraph, #state{callgraph=[{SearchPaths, CallGraph}]}};  %% |State#state.callgraph]}};
   	false ->
  -	    CallGraph = build_callgraph(SearchPaths),
  +	    CallGraph = refac_util:build_scc_callgraph(SearchPaths),
   	    {CallGraph, #state{callgraph=[{SearchPaths, CallGraph}|State#state.callgraph]}}
       end.
   
       
  -build_callgraph(SearchPaths) ->
  -    Files = refac_util:expand_files(SearchPaths, ".erl"),
  -    CallGraph = build_callgraph(Files, []),
  -    CallerCallee = lists:map(fun ({{Caller, _CallerDef}, Callee}) -> {Caller, Callee} end, CallGraph),
  -    #callgraph{scc_order = Sccs, external_calls = E} = refac_callgraph:construct(CallGraph),
  -    {CallerCallee, Sccs, E}.
  -     
      
  -build_callgraph([FileName | Left], Acc) ->
  -    {ok, {AnnAST, Info}}= refac_util:parse_annotate_file(FileName, true, []),
  -    G1 = refac_util:build_callgraph(AnnAST, Info, FileName),
  -    Acc1 = Acc ++ G1,
  -    build_callgraph(Left, Acc1);
  -build_callgraph([], Acc) -> Acc.			   
  -			    
  -
  -
  
positive.code: %%%-------------------------------------------------------------------
  %%% File    : wrangler_callgraph_server.erl
  %%% Author  :  <Huiqing>
  %%% Description : A gen server manageing the callgraph of the program under refactoring.
  %%%
  %%% Created : 28 Aug 2008 by  <Huiqing>
  %%%-------------------------------------------------------------------
  -module(wrangler_callgraph_server).
  
negative.code: %% Description: Handling call messages
  %%--------------------------------------------------------------------
  -spec(handle_call/3::({atom(), [dir()]}, any(), #state{}) ->
  	     {reply, #callgraph{}, #state{}}).
  handle_call({get, SearchPaths}, _From, State) ->
      {Reply, State1} = get_callgraph(SearchPaths, State),
      {reply, Reply, State1}.
  