CocoR/Test1/tests/t_bad_caselabel.mod

MODULE TCase;
VAR b : BOOLEAN; x : INTEGER;
BEGIN CASE b OF 1 : x := 1 ELSE x := 2 END
END TCase.