verify: ictrl: check: deadlock: ok
verify: ictrl: check: unreachable: ok
verify: ictrl: check: livelock: ok
verify: ictrl: check: deterministic: ok
verify: irobot: check: deadlock: ok
verify: irobot: check: unreachable: ok
verify: irobot: check: livelock: ok
verify: irobot: check: deterministic: ok
verify: iwork: check: deadlock: ok
verify: iwork: check: unreachable: ok
verify: iwork: check: livelock: ok
verify: iwork: check: deterministic: ok
verify: queue_overwrite: check: deterministic: ok
verify: queue_overwrite: check: illegal: ok
verify: queue_overwrite: check: deadlock: ok
verify: queue_overwrite: check: unreachable: ok
verify: queue_overwrite: check: livelock: ok
verify: queue_overwrite: check: compliance: ok
