добавлено правило создания утверждения из блока if
в перечисление типов утверждений добавлен if
в узел выражения добавлено поле if