Исправлены имена элементов перечисления типов утверждений.