estate_treat_untagged
if (estate_treat_untagged(one) != estate_treat_untagged(two))
if (estate_treat_untagged(s1) && estate_treat_untagged(s2))
bool estate_treat_untagged(struct smatch_state *state);
if (estate_treat_untagged(user))
estate_treat_untagged(sm->state) ? "[u]" : "");
if (estate_treat_untagged(user))
estate_treat_untagged(sm->state) ? "[u]" : "");
estate_treat_untagged(sm->state) ? "[u]" : "");
return estate_treat_untagged(state);