assign switch name to bitcases as well (important in case of switch that appear insid...