fn structurize_while_from_jump( function: &MirFunction, header: MirBlockId, init_args: &[MirLocalId], active_loops: &mut Vec<MirBlockId>, ) -> Option<(MirStmt, MirBlockId)>