anchor.diff:  
   remove_external(CallGraph, PLT) ->
     {StrippedCG0, Ext} = dialyzer_callgraph:remove_external(CallGraph),
  -  StrippedCG = dialyzer_callgraph:finalize(StrippedCG0),
     case get_external(Ext, PLT) of
       [] -> ok;
       Externals ->
  
positive.code:         _ -> msg(io_lib:format(" Unknown types: ~p\n", [ExtTypes]))
        end
    end,
    StrippedCG.
  
  -spec get_external([{mfa(), mfa()}], plt()) -> [mfa()].
  
  
negative.code:   CS6 = dialyzer_codeserver:insert_temp_exported_types(MergedExpTypes, CS5),
    Ex_Funcs = [{0,F,A} || {_,_,{F,A}} <- cerl:module_exports(Tree)],
    TmpCG = Analysis#analysis.callgraph,
    {V, E} = dialyzer_callgraph:scan_core_tree(Tree, TmpCG),
    CG = dialyzer_callgraph:add_edges(E, V, TmpCG),
    Fun = fun analyze_one_function/2,
    All_Defs = cerl:module_defs(Tree),
    Acc = lists:foldl(Fun, #tmpAcc{file = File, module = Module}, All_Defs),
  