А для IF в аналогичном случае тоже выдавать предупреждение?

Интересно, как у Вирта в Обероне-7 этот случай отрабатывается?
## Код:
```
PROCEDURE Change (V: Viewer; X, Y: INTEGER; Keys: SET);
    VAR ...
      V1: Viewers.Viewer;
      ...
  BEGIN (*Keys # {}*)
    ...
          IF V1.state > 1 THEN
            CASE V1 OF
            Viewer:
              IF V1.H < V1.menuH + 2 THEN dY := 0
              ELSIF V1.H < V1.menuH + 2 + dY THEN dY := V1.H - V1.menuH - 2
              END |
            Viewers.Viewer: IF V1.H < 1 + dY THEN dY := V1.H - 1 END
            END
```
