anchor.diff:        end
     end.
   
  -analyze_scc(SCC, #st{codeserver = Codeserver} = State) ->
  +analyze_scc(SCC, #st{codeserver = Codeserver,
  +		     callgraph = Callgraph,
  +		     plt = Plt} = State) ->
     SCC_Info = [{MFA, 
   	       dialyzer_codeserver:lookup_mfa_code(MFA, Codeserver),
   	       dialyzer_codeserver:lookup_mod_records(M, Codeserver)}
  
positive.code:   #st{callgraph = Callgraph, codeserver = CodeServer, plt = PLT} = State,
    ModCode = dialyzer_codeserver:lookup_mod_code(M, CodeServer),
    AllFuns = collect_fun_info([ModCode]),
    FunTypes = get_fun_types_from_plt(AllFuns, State),
    Records = dialyzer_codeserver:lookup_mod_records(M, CodeServer),
    {NewFunTypes, RaceCode, PublicTables, NamedTables} =
      dialyzer_dataflow:get_fun_types(ModCode, PLT, Callgraph, Records),
  
negative.code: collect_fun_info([], List) ->
    List.
  
  lookup_fun_type(Label, Arity, Callgraph, Plt) ->
    ID = lookup_name(Label, Callgraph),
    case dialyzer_plt:lookup(Plt, ID) of
      none -> erl_types:t_fun(Arity, erl_types:t_any());
  