Дан условный оператор: \(\text{if } (a \lt 17) \text{ then } y := a \text{ else } y := a + 5\).
Условием является...