anchor.diff:    Acc = lists:foldl(Fun, #tmpAcc{file=File, module=Module}, All_Defs),
     Exported_FuncMap = typer_map:insert({File, Ex_Funcs},
   				      Analysis#typer_analysis.ex_func),
  -  %% NOTE: we must sort all functions in the file which
  -  %% originate from this file by *numerical order* of lineNo
  +
     Sorted_Functions = lists:keysort(1, Acc#tmpAcc.funcAcc),
     FuncMap = typer_map:insert({File, Sorted_Functions},
   			     Analysis#typer_analysis.func),
  -  %% NOTE: However we do not need to sort functions
  -  %% which are imported from included files.
     IncFuncMap = typer_map:insert({File, Acc#tmpAcc.incFuncAcc}, 
   				Analysis#typer_analysis.inc_func),
     Final_Files = Analysis#typer_analysis.final_files ++ [{File, Module}],
  -  RecordMap = typer_map:insert({File, Records}, Analysis#typer_analysis.record),
  +    RecordMap = typer_map:insert({File, Records}, Analysis#typer_analysis.record),
     Analysis#typer_analysis{final_files=Final_Files,
   			  callgraph=CG,
   			  code_server=CS5,
  
positive.code: 		    case dialyzer_utils:get_record_and_type_info(AbstractCode) of
  			{error, Reason} -> throw({error, Reason});
  			{ok, Records} -> 
  			    Mod = list_to_atom(filename:basename(File, ".erl")),
  			    case dialyzer_utils:get_spec_info(Mod, AbstractCode, Records) of
  				{error, Reason} -> throw({error, Reason});
  				{ok, SpecInfo} -> 
  				    analyze_core_tree(Core, Records, SpecInfo, Analysis, File)
  			    end
  		    end
  	    end
      end.
  
negative.code: 
  -include("../include/wrangler.hrl").
  
  %%-define(DEBUG, true).
  
  -ifdef(DEBUG).
  -define(debug(__String, __Args), ?wrangler_io(__String, __Args)).
  -else.
  -define(debug(__String, __Args), ok).
  -endif.    
  
  
  -record(tmpAcc, {file,		
  		 module,		
  		 funcAcc=[],	
  		 incFuncAcc=[],	
  		 dialyzerObj=[]}).
  
  get_type_info_using_typer(File) ->
      PLT = filename:join(?WRANGLER_DIR, "plt/dialyzer_plt"),
      Analysis = #typer_analysis{plt=PLT},
      Analysis1 = Analysis#typer_analysis{ana_files = [File]},
      Analysis2 = collect(Analysis1),
      TypeInfo = get_type_info(Analysis2),
      ?debug("FinalFiles1:\n~p\n", [TypeInfo#typer_analysis.final_files]),
      Fun = fun({F, Module}) -> 
  		  RecMap=lookup(F, TypeInfo#typer_analysis.record),
  		  TypeInfoPlt = TypeInfo#typer_analysis.trust_plt,
  		  case dialyzer_plt:lookup_module(TypeInfoPlt, Module) of
  		      none -> [];
  		      {value, List} -> {F, List, RecMap}
  		  end
  	  end,
      lists:map(Fun, TypeInfo#typer_analysis.final_files).
    
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  %%  The following functions are from Typer with slight modifications.         %%
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
  
  -spec get_type_info(#typer_analysis{}) -> #typer_analysis{}.
  
  