Добавлены дополнительные семантические проверки: 1) запрет кода после return выражения. 2) проверка, что все codepath возвращают значение