y := x + 7
Объяснение:
В случае истинности выражения идущего после if выполняется инструкция идущая после then, а в случае ложности - инструкция после else.
