clone_estate
state = clone_estate(orig_sm->state);
new_sm->state = clone_estate(old_sm->state);
state = clone_estate(right_state);
clone_estate(true_state),
clone_estate(false_state));
struct smatch_state *clone_estate(struct smatch_state *state);
new = clone_estate(state);
set_state_expr(my_id, expr, clone_estate(state));
set_state(my_id, cur->name, cur->sym, clone_estate(extra));