estate_get_fuzzy_max
estate_set_fuzzy_max(new, estate_get_fuzzy_max(old));
estate_set_fuzzy_max(ret, estate_get_fuzzy_max(state));
estate_set_fuzzy_max(tmp, sval_max(estate_get_fuzzy_max(s1), estate_get_fuzzy_max(s2)));
if (estate_get_fuzzy_max(state).type)
sval_to_str(estate_get_fuzzy_max(sm->state)));
sval_to_str(estate_get_fuzzy_max(state)));
estate_set_fuzzy_max(estate, estate_get_fuzzy_max(estate));
sval_t hmax = estate_get_fuzzy_max(sm->state);
sval_t estate_get_fuzzy_max(struct smatch_state *state);
*max = sval_cast(get_type(expr), estate_get_fuzzy_max(state));