stat.getExpression().visit(this);
    replaceAll(stat.getCaseStatements());
    stat.setDefaultStatement(replace(stat.getDefaultStatement()));
  }

  @Override
  public void visitCaseStatement(CaseStatement stat) {
    stat.getExpression().visit(this);
    stat.setCode(replace(stat.getCode()));
  }

  @Override
  public void visitSynchronizedStatement(SynchronizedStatement stat) {

        restrict(finally1);
    }

    @Override
    public void visitSwitch(SwitchStatement statement) {
        restrict(statement);
    }

    @Override
    public void visitCaseStatement(CaseStatement statement) {
        restrict(statement);
    }

    @Override
    public void visitBreakStatement(BreakStatement statement) {
        restrict(statement);
    }

    @Override

        replaceAll(stat.getCaseStatements());
        stat.setDefaultStatement(replace(stat.getDefaultStatement()));
    }

    @Override
    public void visitCaseStatement(CaseStatement stat) {
        stat.setExpression(replaceExpr(stat.getExpression()));
        stat.setCode(replace(stat.getCode()));
    }

    @Override