estate_has_fuzzy_max
if (!estate_has_fuzzy_max(old))
if (estate_has_fuzzy_max(state))
if (estate_has_fuzzy_max(state))
if (estate_has_fuzzy_max(sm->state))
if (estate_has_fuzzy_max(state)) {
if (estate_has_fuzzy_max(sm->state)) {
} else if (!estate_has_fuzzy_max(sm->state)) {
int estate_has_fuzzy_max(struct smatch_state *state);
if (!state || !estate_has_fuzzy_max(state))