anchor.diff:  			   mk_constraint(Var, sub, ArgV)]);
   get_bif_constr({erlang, is_record, 3}, Dst, [Var, Tag, Arity] = Args, State) ->
     %% TODO: Revise this to make it precise for Tag and Arity.
  -  Records = State#state.records,
     ArgFun =
       fun(Map) ->
   	case t_is_any_atom(true, lookup_type(Dst, Map)) of
  
positive.code: %%
  %% ============================================================================
  
  traverse_scc([{M,_,_}=MFA|Left], Codeserver, DefSet, ModRecs, AccState) ->
    Def = dialyzer_codeserver:lookup_mfa_code(MFA, Codeserver),
    {M, Rec} = lists:keyfind(M, 1, ModRecs),
    TmpState1 = state__set_rec_dict(AccState, Rec),
    DummyLetrec = cerl:c_letrec([Def], cerl:c_atom(foo)),
    TmpState2 = state__new_constraint_context(TmpState1),
    {NewAccState, _} = traverse(DummyLetrec, DefSet, TmpState2),
    traverse_scc(Left, Codeserver, DefSet, ModRecs, NewAccState);
  traverse_scc([], _Codeserver, _DefSet, _ModRecs, AccState) ->
    AccState.
  
  traverse(Tree, DefinedVars, State) ->
  
negative.code:   State1 = new_state(SCC, NextLabel, CallGraph, CServer, Plt, PropTypes,
                       Solvers),
    DefSet = add_def_list(maps:values(State1#state.name_map), sets:new()),
    State2 = traverse_scc(SCC, CServer, DefSet, State1),
    State3 = state__finalize(State2),
    Funs = state__scc(State3),
    pp_constrs_scc(Funs, State3),
  