anchor.diff:  
   %%-----------------------------------------------------------------------
   
  --type files() :: [file:filename()].
  +-type files()      :: [file:filename()].
  +-type callgraph()  :: dialyzer_callgraph:callgraph().
  +-type codeserver() :: dialyzer_codeserver:codeserver().
  +-type plt()        :: dialyzer_plt:plt().
   
   -record(analysis,
  -	{mode				  :: mode(),
  -	 macros      = []		  :: [{atom(), term()}], % {macro_name, value}
  -	 includes    = []		  :: files(),
  -	 code_server = dialyzer_codeserver:new():: dialyzer_codeserver:codeserver(),
  -	 callgraph   = dialyzer_callgraph:new() :: dialyzer_callgraph:callgraph(),
  -	 files       = []		  :: files(),   % absolute names
  -	 plt         = none		  :: 'none' | file:filename(),
  -	 no_spec     = false              :: boolean(),
  +	{mode				 :: mode() | 'undefined',
  +	 macros     = []		 :: [{atom(), term()}],
  +	 includes   = []		 :: files(),
  +	 codeserver = dialyzer_codeserver:new():: codeserver(),
  +	 callgraph  = dialyzer_callgraph:new() :: callgraph(),
  +	 files      = []		 :: files(),   % absolute names
  +	 plt        = none		 :: 'none' | file:filename(),
  +	 no_spec    = false              :: boolean(),
   	 %% For choosing between specs or edoc @spec comments
  -	 edoc        = false		  :: boolean(),
  +	 edoc       = false		 :: boolean(),
   	 %% Files in 'fms' are compilable with option 'to_pp'; we keep them
   	 %% as {FileName, ModuleName} in case the ModuleName is different
  -	 fms         = []		  :: [{file:filename(), module()}],
  -	 ex_func     = map__new()	  :: map(),
  -	 record      = map__new()	  :: map(),
  -	 func        = map__new()	  :: map(),
  -	 inc_func    = map__new()	  :: map(),
  -	 trust_plt   = dialyzer_plt:new() :: dialyzer_plt:plt()}).
  +	 fms        = []		 :: [{file:filename(), module()}],
  +	 ex_func    = map__new()	 :: map(),
  +	 record     = map__new()	 :: map(),
  +	 func       = map__new()	 :: map(),
  +	 inc_func   = map__new()	 :: map(),
  +	 trust_plt  = dialyzer_plt:new() :: plt()}).
   -type analysis() :: #analysis{}.
   
   -record(args, {files   = [] :: files(),
  
positive.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.code_server,
    NextLabel = dialyzer_codeserver:get_next_core_label(CS1),
    {Tree, NewLabel} = cerl_trees:label(TmpTree, NextLabel),
    CS2 = dialyzer_codeserver:insert(Module, Tree, CS1),
  
negative.code: 	     incFuncAcc = IncFuncAcc,
  	     dialyzerObj = NewDialyzerObj}.
  
  -spec get_dialyzer_plt(analysis()) -> plt().
  
  get_dialyzer_plt(#analysis{plt = PltFile0}) ->
    PltFile =
  