anchor.diff:    Module = list_to_atom(filename:basename(File, ".erl")),
     TmpTree = cerl:from_records(Core),
     CS1 = Analysis#typer_analysis.code_server,
  -  NextLabel = dialyzer_codeserver:get_next_core_label(CS1),
  +  NextLabel = get_next_core_label(CS1),
     {Tree, NewLabel} = cerl_trees:label(TmpTree, NextLabel),
  -  CS2 = dialyzer_codeserver:insert(Module, Tree, CS1),
  -  CS3 = dialyzer_codeserver:set_next_core_label(NewLabel, CS2),
  -  CS4 = dialyzer_codeserver:store_temp_records(Module, Records, CS3),
  -  CS5 = dialyzer_codeserver:store_temp_contracts(Module, SpecInfo, CS4),
  +  CS2 = insert(Module, Tree, CS1),
  +  CS3 = set_next_core_label(NewLabel, CS2),
  +  CS4 = store_temp_records(Module, Records, CS3),
  +  CS5 = store_temp_contracts(Module, SpecInfo, CS4),
     Ex_Funcs = [{0,F,A} || {_,_,{F,A}} <- cerl:module_exports(Tree)],
     TmpCG = Analysis#typer_analysis.callgraph,
     CG = dialyzer_callgraph:scan_core_tree(Tree, TmpCG),
  
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).
  