@Override
 public void visitSwitch(final SwitchStatement statement) {
   pushContext(statement);
   super.visitSwitch(statement);
   popContext();
 }
 @Override
 public final void visitSwitch(SwitchStatement statement) {
   super.visitSwitch(statement);
 }