verify: itop: check: deadlock: ok
verify: itop: check: unreachable: ok
verify: itop: check: livelock: ok
verify: itop: check: deterministic: ok
verify: iext: check: deadlock: ok
verify: iext: check: unreachable: ok
verify: iext: check: livelock: ok
verify: iext: check: deterministic: ok
verify: Leaf: check: deterministic: ok
verify: Leaf: check: illegal: fail
error: queue full in model Leaf
model: Leaf
p.go
<queue-full>
verify: Leaf: check: deadlock: ok
verify: Leaf: check: unreachable: skip
verify: Leaf: check: livelock: ok
verify: Leaf: check: compliance: skip
