Symbol: DR_SMT_NPREF_SETS