- unsigned long mc_get_executed_trans() const;
- bool mc_check_deadlock() const;
- void mc_show_deadlock() const;
- bool mc_is_null() const;
- Checker* mc_get_checker() const;
- void set_checker(Checker* const checker) const;
- void handle_simcall(Transition const& transition) const;
- void mc_wait_for_requests() const;