MODULE TLower1;
(* Lower L1: relations, boolean operators, short-circuit AND/OR, NOT.
   Exit 0. *)
VAR b, c : BOOLEAN; x, y : INTEGER;
VAR ExitCode : INTEGER;
BEGIN
  b := (x < y) AND (y > 0);
  c := NOT (x = y) OR (x <= y);
  ExitCode := 0
END TLower1.