Listing:

    1  MODULE TSet;
    2  VAR s, t : SET OF [0 .. 7]; ExitCode : INTEGER;
    3  BEGIN
    4    s := {1, 2, 3};
    5    t := {5 .. 7};
    6    IF (2 IN s) AND (s = {1, 2, 3}) THEN ExitCode := 14 ELSE ExitCode := 0 END;
    7    IF 6 IN t THEN ExitCode := ExitCode + 1 END
    8  END TSet.

    0 errors