Statement (@NotNull Statement head) { if (head.type == StatementType.BASIC_BLOCK && head.getLastBasicType() == StatementType.SWITCH) { List<Statement> statements = new ArrayList<>(); if (DecHelper.isChoiceStatement(head, statements)) { Statement post = statements.remove(0); for (Statement statement : statements) { if (statement.isMonitorEnter()) { return null; } } if (DecHelper.checkStatementExceptions(statements)) { return new SwitchStatement(head, post); } } } return null; }