void mo_check_promises(const ModelAction *act, bool is_read_check);
void thread_blocking_check_promises(Thread *blocker, Thread *waiting);
void mo_check_promises(const ModelAction *act, bool is_read_check);
void thread_blocking_check_promises(Thread *blocker, Thread *waiting);