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: IAction: check: deadlock: ok
verify: IAction: check: unreachable: ok
verify: IAction: check: livelock: ok
verify: IAction: check: deterministic: ok
verify: BoundedRecurse: check: deterministic: ok
verify: BoundedRecurse: check: illegal: ok
verify: BoundedRecurse: check: deadlock: ok
verify: BoundedRecurse: check: unreachable: ok
verify: BoundedRecurse: check: livelock: ok
verify: BoundedRecurse: check: compliance: ok
