Прерывает выполнение контракта, если pred == false; сообщение — C-строка msg.
Пример:
См. определение в файле check.hpp строка 57