try to treat fall-through cases in switch as a single branch

[msridhar]

E.g., for this code:

switch (s) {
  case ONE:
  case TWO:
  case THREE:
    doSomething();
  default:
    fail();
}

The first three cases would correspond to a single branch, which is "taken" if s matches ONE, TWO, or THREE, and "not taken" otherwise.

[msridhar]

@ksen007 is there any hope of addressing this one?