Исправлены функции создания утверждений, в связи в изменением имен типов.