verify: IEvent: check: deadlock: ok
verify: IEvent: check: unreachable: ok
verify: IEvent: check: livelock: ok
verify: IEvent: check: deterministic: ok
verify: IBool: check: deadlock: ok
verify: IBool: check: unreachable: ok
verify: IBool: check: livelock: ok
verify: IBool: check: deterministic: ok
verify: nested_func_slow: check: deterministic: ok
verify: nested_func_slow: check: illegal: ok
verify: nested_func_slow: check: deadlock: ok
verify: nested_func_slow: check: unreachable: ok
verify: nested_func_slow: check: livelock: ok
verify: nested_func_slow: check: compliance: ok
