clone_rl
rl = clone_rl(rl); // FIXME!!!
set_state(RETURN_ID, "return_ranges", NULL, alloc_estate_rl(clone_rl(rl)));
return clone_rl(estate_rl(sm->state));
ret->value_ranges = clone_rl(dinfo->value_ranges);
dinfo->value_ranges = clone_rl(cast_rl(type, estate_rl(state)));
rl = clone_rl(valid_ptr_rl);
false_rl = clone_rl(orig_rl);
struct range_list *clone_rl(struct range_list *list);
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
state = alloc_estate_rl(cast_rl(get_type(expr), clone_rl(estate_rl(db_info->ret_state))));
store_return_state(db_info, ret_str, alloc_estate_rl(clone_rl(var_rl)));
rl = clone_rl(top_rl(*remaining_cases));
state = alloc_estate_rl(clone_rl(rl));
return clone_rl(rl_intersection(rl, absolute_rl));
*res = clone_rl(estate_rl(state));
*res = clone_rl(rl_intersection(estate_rl(state),
*res = clone_rl(estate_rl(state));
*res = clone_rl(estate_rl(abs_state));
*res = clone_rl(estate_rl(state));
return clone_rl(estate_rl(state));
return clone_rl(estate_rl(state));
rl = clone_rl(rl);
set_state(my_id, cur->name, cur->sym, alloc_estate_rl(clone_rl(rl)));
left_true = clone_rl(left_orig);
left_false = clone_rl(left_orig);
right_true = clone_rl(right_orig);
right_false = clone_rl(right_orig);
right_true = clone_rl(left_true);
right_false = clone_rl(left_false);
set_state_expr(my_id, expr->left, alloc_estate_rl(clone_rl(rl)));
set_state(my_id, name, sym, alloc_estate_rl(clone_rl(rl)));
set_state(my_id, cur->name, cur->sym, alloc_estate_rl(clone_rl(rl)));
set_state_expr(my_strlen_id, expr->left, alloc_estate_rl(clone_rl(rl)));
cached_results[res_idx].rl = clone_rl(tmp);
*rl = clone_rl(cached_results[i].rl);