anchor.diff:      try  dialyzer_codeserver:store_temp_contracts(Module, SpecInfo, CS) of
   	Res ->
   	    Res
  -    catch
  +    catch 
   	_E1:_E2 ->
   	    dialyzer_codeserver:store_contracts(Module, SpecInfo, CS)
       end.
   	
  +
  +%% -spec new() -> dict().
  +%%  new() ->
  +%%    dict:new().
  +
  +-spec insert({term(), term()}, dict()) -> dict().
  +insert(Object, Dict) ->
  +  {Key, Value} = Object,
  +  dict:store(Key, Value, Dict).
  +
  +%% -spec from_list([{term(), term()}]) -> dict().
  +%% from_list(List) ->
  +%%   dict:from_list(List).
  +
  +%% -spec remove(term(), dict()) -> dict().
  +%% remove(Key, Dict) ->
  +%%   dict:erase(Key, Dict).
  +
  +%% -spec fold(fun((term(), term(), term()) -> term()), term(), dict()) -> term().
  +%% fold(Fun, Acc0, Dict) -> 
  +%%   dict:fold(Fun, Acc0, Dict).
  
positive.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 = typer_map:insert({File, Ex_Funcs},
  				      Analysis#typer_analysis.ex_func),
  
    Sorted_Functions = lists:keysort(1, Acc#tmpAcc.funcAcc),
    FuncMap = typer_map:insert({File, Sorted_Functions},
  			     Analysis#typer_analysis.func),
    IncFuncMap = typer_map:insert({File, Acc#tmpAcc.incFuncAcc}, 
  				Analysis#typer_analysis.inc_func),
    Final_Files = Analysis#typer_analysis.final_files ++ [{File, Module}],
      RecordMap = typer_map:insert({File, Records}, Analysis#typer_analysis.record),
    Analysis#typer_analysis{final_files=Final_Files,
  			  callgraph=CG,
  			  code_server=CS5,
  
negative.code: 
  -include("../include/wrangler_internal.hrl").
  
  -record(tmpAcc, {file,		 
  		 module,		
  		 funcAcc=[],	
  		 incFuncAcc=[],	
  