anchor.diff:  	     incFuncAcc = IncFuncAcc,
   	     dialyzerObj = NewDialyzerObj}.
   
  --spec get_dialyzer_plt(analysis()) -> dialyzer_plt:plt().
  +-spec get_dialyzer_plt(analysis()) -> plt().
   
   get_dialyzer_plt(#analysis{plt = PltFile0}) ->
     PltFile =
  
positive.code: 
  -define(TYPER_ANN_DIR, "typer_ann").
  
  -type fun_info() :: {non_neg_integer(), atom(), arity()}.
  
  -record(info, {records = map__new() :: map(),
  	       functions = []       :: [fun_info()],
  	       types = map__new()   :: map(),
  	       edoc = false	    :: boolean()}).
  -record(inc, {map = map__new() :: map(), filter = [] :: files()}).
  
  -spec show_or_annotate(analysis()) -> 'ok'.
  
  
negative.code:       fatal_error(io_lib:format("Analysis failed with message: ~s", [Msg]))
    end.
  
  -spec remove_external(callgraph(), plt()) -> callgraph().
  
  remove_external(CallGraph, PLT) ->
    {StrippedCG0, Ext} = dialyzer_callgraph:remove_external(CallGraph),
  