добавлена функция создания узла-утверждения из узла выражения.
в узле-функции изменен тип поля, аргументы.
Добавлена функция создания узла-выражения из функции.
Добавлена функция создания узла-выражения из цикла for.
испралено правило для if, else замыкающее.
в объединение добавлен тип для аргументов функций.