analyzer: fix constraint explosion on many-cased switch [PR96653]