a := 10; b := 5; if not (a < 5) then a := 5;
a := 10; b := 5; if (a > 5) and (a < b) then a := a - 5;
a := 10; b := 5; if (a > 1) or (a < b) then a := a - 5; if (a > 1) and (a = b) then a := a - 5;
a := 10; b := 5; if (a > 1) and (a < b) then a := a - 5; if (a > 1) and (a = b) then a := a - 5;
a := 10; b := 5; if (a > 1) ... (a < b) then a := a - 7 else a := a + 7;
a := 10; b := 5; if (a < 1) ... (a > b) then a := a - 7 else a := a + 7;
a := 10; b := 5; if (a < 1) ... (a > b) then a := a - 5 else a := a + 5;