fn translate_terminator( info: &mut BlockInfo<'_>, parent_loops: &Vec<BlockId>, switch_exit_blocks: &HashSet<BlockId>, terminator: &Terminator, ) -> Block