add_one
limit = add_one(limit);
true_state = alloc_estate_range(add_one(start), limit);
false_state = alloc_estate_range(add_one(limit), add_one(limit));
right_false = remove_range(right_orig, add_one(rl_max(left_orig)), max);
left_true = remove_range(left_orig, add_one(rl_max(right_orig)), max);
right_true = remove_range(right_orig, add_one(rl_max(left_orig)), max);
left_false = remove_range(left_orig, add_one(rl_max(right_orig)), max);
ret_rl = remove_range(left_orig, add_one(rl_max(right_orig)), max);