rl_union
rl = rl_union(orig_rl, rl);
db_info->rl = rl_union(db_info->rl, rl);
db_size_rl = rl_union(db_size_rl, tmp);
db_info->rl = rl_union(db_info->rl, rl);
ret_info->return_range_list = rl_union(ret_info->return_range_list, rl);
value_ranges = rl_union(estate_rl(s1), estate_rl(s2));
new = rl_union(new, added);
struct range_list *rl_union(struct range_list *one, struct range_list *two);
rl = rl_union(rl, tmp);
*res = rl_union(true_rl, false_rl);
new = rl_union(orig, estate_rl(state));
db_info->rl = rl_union(db_info->rl, tmp);
return rl_union(valid_ptr_rl, rl);
ret = rl_union(neg_neg, neg_pos);
ret = rl_union(ret, pos_neg);
return rl_union(ret, pos_pos);