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