Include the switch default target in block successor iteration ##analysis