Прерывает выполнение контракта, если pred == false; сообщение msg передаётся в среду COOPOS.
Пример:
См. определение в файле check.hpp строка 42