top_rl
struct range_list *top_rl(struct range_list_stack *rl_stack);
rl = clone_rl(top_rl(*remaining_cases));
return !!top_rl(remaining_cases);