private static boolean switchStatementDefinitelyRecurses(GrSwitchStatement switchStatement, GrMethod method) {
    final GrExpression switchExpression = switchStatement.getCondition();
    return expressionDefinitelyRecurses(switchExpression, method);
  }
private static boolean switchStatementDefinitelyRecurses(GrSwitchStatement switchStatement, GrMethod method)