estate_clear_fuzzy_max
estate_clear_fuzzy_max(state);
void estate_clear_fuzzy_max(struct smatch_state *state);