verify: IApi: check: deadlock: ok
verify: IApi: check: unreachable: ok
verify: IApi: check: livelock: ok
verify: IApi: check: deterministic: ok
verify: IIter: check: deadlock: ok
verify: IIter: check: unreachable: ok
verify: IIter: check: livelock: ok
verify: IIter: check: deterministic: ok
verify: BoundedLoop: check: deterministic: ok
verify: BoundedLoop: check: illegal: ok
verify: BoundedLoop: check: deadlock: ok
verify: BoundedLoop: check: unreachable: ok
verify: BoundedLoop: check: livelock: ok
verify: BoundedLoop: check: compliance: ok
