clone_partial_estate
struct smatch_state *clone_partial_estate(struct smatch_state *state, struct range_list *rl);
true_sm->state = clone_partial_estate(sm->state, true_rl);
false_sm->state = clone_partial_estate(sm->state, false_rl);