anchor.diff:  -type typesig_funmap() :: #{type_var() => type_var()}.
   
   -type prop_types() :: orddict:orddict(label(), erl_types:erl_type()).
  --type dict_prop_types() :: dict:dict(label(), erl_types:erl_type()).
  +-type dict_prop_types() :: #{label() => erl_types:erl_type()}.
   
   -record(state, {callgraph                :: dialyzer_callgraph:callgraph()
                                             | 'undefined',
  
positive.code: 		self_rec                 :: 'false' | erl_types:erl_type(),
  		plt                      :: dialyzer_plt:plt()
                                            | 'undefined',
  		prop_types  = dict:new() :: dict_prop_types(),
                  mod_records = []         :: [{module(), types()}],
  		scc         = []         :: ordsets:ordset(type_var()),
  		mfas                     :: [mfa()],
  
negative.code: 	end;
        _Many -> false
      end,
    PropTypes = maps:from_list(PropTypes0),
    #state{callgraph = CallGraph, name_map = NameMap, next_label = NextLabel,
  	 prop_types = PropTypes, plt = Plt, scc = ordsets:from_list(SCC),
  	 mfas = MFAs, self_rec = SelfRec, solvers = Solvers,
  