anchor.diff:  get_fun_types_from_plt([], _Callgraph, _Plt, Map) ->
     orddict:from_list(Map).
   
  -collect_fun_info(Trees) ->
  -  collect_fun_info(Trees, []).
  -
  -collect_fun_info([Tree|Trees], List) ->
  +collect_fun_info(Tree) ->
     Fun = fun(SubTree, Acc) ->
   	    case cerl:is_c_fun(SubTree) of
   	      true ->
  
positive.code: 	      false -> Acc
  	    end
  	end,
    collect_fun_info(Trees, cerl_trees:fold(Fun, List, Tree));
  collect_fun_info([], List) ->
    List.
  
  lookup_fun_type(Label, Arity, Callgraph, Plt) ->
    ID = lookup_name(Label, Callgraph),
  
negative.code: find_succ_types_for_scc(SCC0, {Codeserver, Callgraph, Plt, Solvers}) ->
    SCC = [MFA || {_, _, _} = MFA <- SCC0],
    Label = dialyzer_codeserver:get_next_core_label(Codeserver),
    F = fun(MFA) ->
            {_Var, Fun} = dialyzer_codeserver:lookup_mfa_code(MFA, Codeserver),
            collect_fun_info(Fun)
        end,
    AllFuns = lists:flatmap(F, SCC),
    PropTypes = get_fun_types_from_plt(AllFuns, Callgraph, Plt),
  
    %% Assume that the PLT contains the current propagated types
  