anchor.diff:  collect(Analysis) ->
       NewPlt =dialyzer_plt:merge_plts([Analysis#typer_analysis.trust_plt, 
   				     Analysis#typer_analysis.plt]),
  -    NewAnalysis = lists:foldl(fun collect_one_file_info/2, 
  -			      Analysis#typer_analysis{trust_plt = NewPlt}, 
  -			      Analysis#typer_analysis.ana_files),
  -    %% Process Remote Types
  -    TmpCServer = NewAnalysis#typer_analysis.code_server,
  -    NewCServer =
  -	try
  -	    NewRecords = dialyzer_codeserver:get_temp_records(TmpCServer),
  -	    OldRecords = dialyzer_plt:get_types(NewPlt),
  -	    MergedRecords = dialyzer_utils:merge_records(NewRecords, OldRecords),
  -	    TmpCServer1 = dialyzer_codeserver:set_temp_records(MergedRecords, TmpCServer),
  -	    TmpCServer2 = dialyzer_utils:process_record_remote_types(TmpCServer1),
  -	    dialyzer_contracts:process_contract_remote_types(TmpCServer2)
  -	catch
  -	    throw:{error, ErrorMsg} ->
  -		throw({error, ErrorMsg})
  -	end,
  -    NewAnalysis#typer_analysis{code_server = NewCServer}.
  -
  +    lists:foldl(fun collect_one_file_info/2, 
  +		Analysis#typer_analysis{trust_plt = NewPlt}, 
  +		Analysis#typer_analysis.ana_files).
  +   
   collect_one_file_info(File, Analysis) ->
       ?debug("File:\n~p\n", [File]),
       Ds = [{d,Name,Val} || {Name,Val} <- Analysis#typer_analysis.macros],
       %% Current directory should also be included in "Includes".
       Includes = [filename:dirname(File)|Analysis#typer_analysis.includes],
       Is = [{i,Dir} || Dir <- Includes],
  -    Options = dialyzer_utils:src_compiler_opts() ++ Is ++ Ds,
  +    Options = src_compiler_opts() ++ Is ++ Ds,
       case dialyzer_utils:get_abstract_code_from_src(File, Options) of
   	{error, Reason} ->
   	    throw({error, Reason});
  
positive.code: 
  lookup(Key, Dict) ->
    try dict:fetch(Key, Dict) catch error:_ -> none end.
  
negative.code: 		 incFuncAcc=[],	
  		 dialyzerObj=[]}).
  
  get_type_info_using_typer(FFF) ->
      PLT = filename:join(?WRANGLER_DIR, "plt/dialyzer_plt"),
      Analysis = #typer_analysis{plt = PLT},
      Analysis1 = Analysis#typer_analysis{ana_files = [FFF]},
      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).
  