anchor.diff:  		  dialyzer_plt:plt(), dict()) -> dict().
   
   analyze_scc(SCC, NextLabel, CallGraph, Plt, PropTypes) ->
  +  %% FIXME. Solvers as an option and argument. Save in 'state.
     assert_format_of_scc(SCC),
     State1 = new_state(SCC, NextLabel, CallGraph, Plt, PropTypes),
     DefSet = add_def_list([Var || {_MFA, {Var, _Fun}, _Rec} <- SCC], sets:new()),
  
positive.code: -record(constraint_list, {type :: 'conj' | 'disj',
  			  list :: [constr()],
  			  deps :: [dep()],
  			  id   :: {'list', dep()}}).
  
  -type constraint_list() :: #constraint_list{}.
  
negative.code:   KeyName = t_var_name(Key),
    case t_is_any(Val) of
      true ->
        erase_type(KeyName, Map);
      false ->
        LimitedVal = t_limit(Val, ?INTERNAL_TYPE_LIMIT),
        case dict:find(KeyName, Map) of
  	{ok, LimitedVal} -> Map;
  	{ok, _} -> map_store(KeyName, LimitedVal, Map);
  	error -> map_store(KeyName, LimitedVal, Map)
        end
    end.
  
  