anchor.diff:        none -> [];
         {value, List} -> List
       end,
  -  CodeServer = Analysis#analysis.code_server,
  +  CodeServer = Analysis#analysis.codeserver,
     TypeInfoList = [get_type(I, CodeServer, Records) || I <- TypeInfo],
     map__from_list(TypeInfoList).
   
  
positive.code:       throw:{error, ErrorMsg} ->
  	fatal_error(ErrorMsg)
      end,
    NewAnalysis#analysis{code_server = NewCServer}.
  
  collect_one_file_info(File, Analysis) ->
    Ds = [{d,Name,Val} || {Name,Val} <- Analysis#analysis.macros],
  
negative.code: analyze_core_tree(Core, Records, SpecInfo, ExpTypes, Analysis, File) ->
    Module = cerl:concrete(cerl:module_name(Core)),
    TmpTree = cerl:from_records(Core),
    CS1 = Analysis#analysis.codeserver,
    NextLabel = dialyzer_codeserver:get_next_core_label(CS1),
    {Tree, NewLabel} = cerl_trees:label(TmpTree, NextLabel),
    CS2 = dialyzer_codeserver:insert(Module, Tree, CS1),
  