anchor.diff:  	      false -> Acc
   	    end
   	end,
  -  collect_fun_info(Trees, cerl_trees:fold(Fun, List, Tree));
  -collect_fun_info([], List) ->
  -  List.
  +  cerl_trees:fold(Fun, [], Tree).
   
   lookup_fun_type(Label, Arity, Callgraph, Plt) ->
     ID = lookup_name(Label, Callgraph),
  
positive.code: find_succ_types_for_scc(SCC0, {Codeserver, Callgraph, Plt, Solvers}) ->
    SCC = [MFA || {_, _, _} = MFA <- SCC0],
    Label = dialyzer_codeserver:get_next_core_label(Codeserver),
    AllFuns = lists:append(
                [begin
                   {_Var, Fun} =
                     dialyzer_codeserver:lookup_mfa_code(MFA, Codeserver),
                   collect_fun_info([Fun])
                 end || MFA <- SCC]),
    PropTypes = get_fun_types_from_plt(AllFuns, Callgraph, Plt),
  
    %% Assume that the PLT contains the current propagated types
  
negative.code: 
  refine_one_module(M, {CodeServer, Callgraph, Plt, _Solvers}) ->
    ModCode = dialyzer_codeserver:lookup_mod_code(M, CodeServer),
    AllFuns = collect_fun_info(ModCode),
    FunTypes = get_fun_types_from_plt(AllFuns, Callgraph, Plt),
    Records = dialyzer_codeserver:lookup_mod_records(M, CodeServer),
    NewFunTypes =
  