anchor.diff:  	       end,
     enter_type(Fun, NewType, NewFunMap1).
   
  -solve_scc(SCC, Map, State, TryingUnit) ->
  -  State1 = state__mark_as_non_self_rec(SCC, State),
  +solve_scc(SCC, Parallel, Map, State, TryingUnit) ->
     Vars0 = [{Fun, state__get_rec_var(Fun, State)} || Fun <- SCC],
     Vars = [Var || {_, {ok, Var}} <- Vars0],
     Funs = [Fun || {Fun, {ok, _}} <- Vars0],
  
positive.code: 	       true -> t_fun(t_fun_args(T), t_unit())
  	     end || T <- NewTypes],
  	  Map3 = enter_type_lists(Funs, UnitTypes, Map2),
  	  solve_scc(SCC, Map3, State, true);
  	false ->
  	  Map2
        end;
      false ->
        ?debug("SCC ~w did not reach fixpoint\n", [SCC]),
        solve_scc(SCC, Map2, State, TryingUnit)
    end.
  
  scc_fold_fun(F, FunMap, State) ->
    Deps = get_deps(state__get_cs(F, State)),
  
negative.code: -type typesig_scc()    :: [{mfa(), {cerl:c_var(), cerl:c_fun()}, dict()}].
  -type typesig_funmap() :: [{type_var(), type_var()}]. %% Orddict
  
  -type dict_or_ets() :: {'d', dict()} | {'e', ets:tid()}.
  
  -record(state, {callgraph                    :: dialyzer_callgraph:callgraph(),
  		cs          = []                :: [constr()],
  		cmap        = {'d', dict:new()} :: dict_or_ets(),
  		fun_map     = []                :: typesig_funmap(),
  		fun_arities = dict:new()        :: dict(),
  		in_match    = false             :: boolean(),
  		in_guard    = false             :: boolean(),
  		module                          :: module(),
  		name_map    = dict:new()        :: dict(),
  		next_label  = 0                 :: label(),
  		self_rec                        :: erl_types:erl_type(),
  		plt                             :: dialyzer_plt:plt(),
  		prop_types  = {'d', dict:new()} :: dict_or_ets(),
  		records     = dict:new()        :: dict(),
  		opaques     = []                :: [erl_types:erl_type()],
  		scc         = []                :: [type_var()],
  		mfas                            :: [tuple()]
  	       }).
  
  %%-----------------------------------------------------------------------------
  