@Override
 public void visitCaseStatement(final CaseStatement statement) {
   pushContext(statement);
   super.visitCaseStatement(statement);
   popContext();
 }
 @Override
 public final void visitCaseStatement(CaseStatement statement) {
   super.visitCaseStatement(statement);
 }