anchor.diff:  
   
   %%====================================================================================
  -%%@spec build_call_graph(DirList::[dir()]) -> #callgraph{}
  +%%@spec build_callgraph(DirList::[dir()]) -> #callgraph{}
   %%@doc Build a function call graph out of the Erlang files contained in the given directories.
   
  --spec(build_call_graph(DirList::[dir()]) -> #callgraph{}).
  -build_call_graph(DirList) ->
  +-spec(build_callgraph(DirList::[dir()]) -> #callgraph{}).
  +build_callgraph(DirList) ->
       Files = refac_util:expand_files(DirList, ".erl"),
  -    CallGraph = build_call_graph(Files, []),
  +    CallGraph = build_callgraph(Files, []),
       %% io:format("CallGraph:\n~p\n", [CallGraph]),
       refac_callgraph:construct(CallGraph).
      
   
  --spec(build_call_graph/2::([filename()], [{{{atom(), atom(), integer()}, syntaxTree()}, {atom(), atom(), integer()}}]) ->
  +-spec(build_callgraph/2::([filename()], [{{{atom(), atom(), integer()}, syntaxTree()}, {atom(), atom(), integer()}}]) ->
    	     [{{{atom(), atom(), integer()}, syntaxTree()}, [{atom(), atom(), integer()}]}]).
  -build_call_graph([FileName | Left], Acc) ->
  +build_callgraph([FileName | Left], Acc) ->
       case refac_util:parse_annotate_file(FileName, true, []) of
         {ok, {AnnAST, Info}} ->
   	  case lists:keysearch(errors,1, Info) of 
   	      {value, {errors, _Errors}} -> erlang:error("Syntax error in " ++ FileName);
  -	      _ ->  G1 = build_call_graph(AnnAST, Info, FileName),
  +	      _ ->  G1 = build_callgraph(AnnAST, Info, FileName),
   		    Acc1 = Acc ++ G1,
  -		    build_call_graph(Left, Acc1)
  +		    build_callgraph(Left, Acc1)
   	  end;
         {error, Reason} -> erlang:error(Reason)
       end;
  -build_call_graph([], Acc) -> Acc.
  -
  --spec(build_call_graph/3::(syntaxTree(),moduleInfo(),filename()) -> 
  +build_callgraph([], Acc) -> Acc.
  +
  +-spec(build_callgraph/3::(syntaxTree(),moduleInfo(),filename()) -> 
   	     [{{{atom(), atom(), integer()}, syntaxTree()}, [{atom(), atom(), integer()}]}]).
  -build_call_graph(Node, Info, _FileName) ->
  +build_callgraph(Node, Info, _FileName) ->
       {value, {module, ModName}} = lists:keysearch(module, 1, Info),
       Inscope_Funs = [{erlang, Fun, Arity} || {Fun, Arity} <- auto_imported_bifs()] ++
   		     refac_util:inscope_funs(Info),  %% NOTE: orders matters here.
  
positive.code: -spec(build_lib_side_effect_tab([filename()|dir()]) -> true).
  build_lib_side_effect_tab(FileOrDirs) ->
      Plt = ets:new(side_effect_table, [set, public]),
      #callgraph{scc_order=Sccs, external_calls=_E} = build_call_graph(FileOrDirs),
      build_side_effect_tab(Sccs, Plt, ets:new(dummy_tab, [set, public])),
      ets:insert(Plt, bifs_side_effect_table()),
      File = filename:join(?WRANGLER_DIR, "plt/side_effect_plt"),
  
negative.code:       [{_MFA, S}] -> {value, S}
      end.
  
  %% trim_callgraph(DirList) ->
  %%     {Sccs, E} = build_callgraph(DirList),
  %%     trim_scc(Sccs).
  
  
  