set_related
set_related(ret, clone_related_list(estate_related(state)));
set_related(tmp, rlist);
set_related(state, estate_related(orig_state));
set_related(true_state, estate_related(orig_state));
set_related(false_state, estate_related(orig_state));
void set_related(struct smatch_state *estate, struct related_list *rlist);