mn_itree_inv_next
interval_sub = mn_itree_inv_next(interval_sub, &range)) {
interval_sub = mn_itree_inv_next(interval_sub, range)) {