Many analysis fixes
Many analysis fixes

  - Fix infinite loop in nested switches
  - Minimize tail duplication for nested switches/loops
  - Simplify nested loop/switch exit matching

yurydelendik/shumway,mbebenita/shumway,mozilla/shumway,tschneidereit/shumway,tschneidereit/shumway,tschneidereit/shumway,mbebenita/shumway,mbebenita/shumway,mbebenita/shumway,mozilla/shumway,yurydelendik/shumway,mbebenita/shumway,yurydelendik/shumway,yurydelendik/shumway,yurydelendik/shumway,mbebenita/shumway,mozilla/shumway,yurydelendik/shumway,tschneidereit/shumway,tschneidereit/shumway,tschneidereit/shumway,yurydelendik/shumway,mozilla/shumway,yurydelendik/shumway,mozilla/shumway,mozilla/shumway,tschneidereit/shumway,mbebenita/shumway,mozilla/shumway,mozilla/shumway,tschneidereit/shumway,mbebenita/shumway