fn is_switch(terminator: &Terminator<'_>) -> bool