anchor.diff:  
   %%--------------------------------------------------------------------
   
  --spec extract(analysis()) -> analysis().
  -
  -extract(#analysis{macros = Macros, includes = Includes,
  -		  t_files = TFiles, trust_plt = TrustPLT} = Analysis) ->
  +-spec extract(analysis(), files()) -> analysis().
  +
  +extract(#analysis{macros = Macros,
  +		  includes = Includes,
  +		  trust_plt = TrustPLT} = Analysis, TrustedFiles) ->
     %% io:format("--- Extracting trusted typer_info... "),
     Ds = [{d, Name, Value} || {Name, Value} <- Macros],
     CodeServer = dialyzer_codeserver:new(),
  
positive.code:   %% which are imported from included files.
    IncFuncMap = map__insert({File, Acc#tmpAcc.incFuncAcc}, 
  			   Analysis#analysis.inc_func),
    Final_Files = Analysis#analysis.final_files ++ [{File, Module}],
    RecordMap = map__insert({File, Records}, Analysis#analysis.record),
    Analysis#analysis{final_files = Final_Files,
  		    callgraph = CG,
  		    code_server = CS6,
  		    ex_func = Exported_FuncMap,
  
negative.code: 	    IncFuns = get_functions(File, Analysis),
  	    collect_imported_functions(IncFuns, Info#info.types, Inc)
  	end,
    NewInc = lists:foldl(Fun, #inc{}, Analysis#analysis.fms),
    clean_inc(NewInc).
  
  write_inc_files(Inc) ->
  