anchor.diff:  		 incFuncAcc=[],	
   		 dialyzerObj=[]}).
   
  -get_type_info_using_typer(File) ->
  +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 = [File]},
  +    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),
  +    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}
  +		    none -> [];
  +		    {value, List} -> {F, List, RecMap}
   		  end
   	  end,
       lists:map(Fun, TypeInfo#typer_analysis.final_files).
  
positive.code: 
  lookup(Key, Dict) ->
    try dict:fetch(Key, Dict) catch error:_ -> none end.
  
negative.code:   Module = list_to_atom(filename:basename(File, ".erl")),
    TmpTree = cerl:from_records(Core),
    CS1 = Analysis#typer_analysis.code_server,
    NextLabel = get_next_core_label(CS1),
    {Tree, NewLabel} = cerl_trees:label(TmpTree, NextLabel),
    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),
  