fn split_first_case<'a, T>( stmts: &'a [(u128, &'a T)], otherwise: Option<&'a T>, ) -> (u128, &'a T, impl Iterator<Item = &'a T>)