[Oberon] CASE without ELSE