anchor.diff:  
   -include("../include/wrangler_internal.hrl").
   
  --record(tmpAcc, {file,		
  +-record(tmpAcc, {file,		 
   		 module,		
   		 funcAcc=[],	
   		 incFuncAcc=[],	
  
positive.code: 		  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,
  
negative.code:   Fun = fun analyze_one_function/2,
     All_Defs = cerl:module_defs(Tree),
    Acc = lists:foldl(Fun, #tmpAcc{file=File, module=Module}, All_Defs),
    Exported_FuncMap =insert({File, Ex_Funcs},
  				      Analysis#typer_analysis.ex_func),
  
    Sorted_Functions = lists:keysort(1, Acc#tmpAcc.funcAcc),
    FuncMap = insert({File, Sorted_Functions},
  			     Analysis#typer_analysis.func),
    IncFuncMap = insert({File, Acc#tmpAcc.incFuncAcc}, 
  				Analysis#typer_analysis.inc_func),
    Final_Files = Analysis#typer_analysis.final_files ++ [{File, Module}],
      RecordMap = insert({File, Records}, Analysis#typer_analysis.record),
    Analysis#typer_analysis{final_files=Final_Files,
  			  callgraph=CG,
  			  code_server=CS5,
  