anchor.diff:  		  RecMap = lookup(F, TypeInfo#typer_analysis.record),
   		  TypeInfoPlt = TypeInfo#typer_analysis.trust_plt,
   		  case dialyzer_plt:lookup_module(TypeInfoPlt, Module) of
  -		    none -> [];
  +	 	    none -> [];
   		    {value, List} -> {F, List, RecMap}
   		  end
   	  end,
  
positive.code:     try  dialyzer_codeserver:store_temp_contracts(Module, SpecInfo, CS) of
  	Res ->
  	    Res
      catch
  	_E1:_E2 ->
  	    dialyzer_codeserver:store_contracts(Module, SpecInfo, CS)
      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,
  