anchor.diff:    end,
     StrippedCG.
   
  --spec get_external([{mfa(), mfa()}], dialyzer_plt:plt()) -> [mfa()].
  +-spec get_external([{mfa(), mfa()}], plt()) -> [mfa()].
   
   get_external(Exts, Plt) ->
     Fun = fun ({_From, To = {M, F, A}}, Acc) ->
  
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:       none -> [];
        {value, List} -> List
      end,
    CodeServer = Analysis#analysis.codeserver,
    TypeInfoList = [get_type(I, CodeServer, Records) || I <- TypeInfo],
    map__from_list(TypeInfoList).
  
  