set_extra_mod
set_extra_mod(name, sym, left, state);
set_extra_mod(name, sym, left, alloc_estate_rl(rl));
set_extra_mod(name, sym, left, alloc_estate_whole(left_type));
set_extra_mod(name, sym, NULL, alloc_estate_rl(new));
set_extra_mod(other_name, other_sym, NULL, alloc_estate_rl(new));
set_extra_mod(name, sym, gen_expr, alloc_estate_rl(new));
set_extra_mod(other_name, other_sym, gen_expr, alloc_estate_rl(new));
set_extra_mod(name, sym, NULL, alloc_estate_rl(rl));
set_extra_mod(name, sym, expr, state);
set_extra_mod(sm->name, sm->sym, condition->unop, alloc_estate_sval(after_value));
set_extra_mod(sm->name, sm->sym, iter_expr, state);
set_extra_mod(tmp->name, tmp->sym, expr, alloc_estate_whole(estate_type(tmp->state)));
void set_extra_mod(const char *name, struct symbol *sym, struct expression *expr, struct smatch_state *state);
set_extra_mod(var_name, sym, expr->left, estate);