verify: Iprov: check: deadlock: ok
verify: Iprov: check: unreachable: ok
verify: Iprov: check: livelock: ok
verify: Iprov: check: deterministic: ok
verify: Iext: check: deadlock: ok
verify: Iext: check: unreachable: ok
verify: Iext: check: livelock: ok
verify: Iext: check: deterministic: ok
verify: external_spont_reply_split: check: deterministic: ok
verify: external_spont_reply_split: check: illegal: ok
verify: external_spont_reply_split: check: deadlock: ok
verify: external_spont_reply_split: check: unreachable: ok
verify: external_spont_reply_split: check: livelock: ok
verify: external_spont_reply_split: check: compliance: ok
