anchor.diff:  
   -record(state, {callgraph                :: dialyzer_callgraph:callgraph()
                                             | 'undefined',
  +                cserver                  :: dialyzer_codeserver:codeserver(),
   		cs          = []         :: [constr()],
   		cmap        = maps:new() :: #{type_var() => constr()},
   		fun_map     = maps:new() :: typesig_funmap(),
  
positive.code: 		plt                      :: dialyzer_plt:plt()
                                            | 'undefined',
  		prop_types  = dict:new() :: prop_types(),
  		records     = maps:new() :: types(),
  		scc         = []         :: ordsets:ordset(type_var()),
  		mfas                     :: [mfa()],
                  solvers     = []         :: [solver()]
  
negative.code: 	    true ->
                %% Check if a record is constructed.
                Arity = length(Fields),
                case lookup_record(State2, cerl:atom_val(Tag), Arity) of
                  {error, State3} -> {State3, TupleType};
                  {ok, RecType, State3} ->
                    State4 = state__store_conj(TupleType, sub, RecType, State3),
                    {State4, TupleType}
                end;
  	    false -> {State2, TupleType}
            end;
  