estate_is_unknown
estate_is_unknown(state) && !get_state(SMATCH_EXTRA, name, sym))
if (!orig_state && estate_is_unknown(state))
int estate_is_unknown(struct smatch_state *state);