verify: Iprov: check: deadlock: ok
verify: Iprov: check: unreachable: ok
verify: Iprov: check: livelock: ok
verify: Iprov: check: deterministic: ok
verify: Ireq: check: deadlock: ok
verify: Ireq: check: unreachable: ok
verify: Ireq: check: livelock: ok
verify: Ireq: check: deterministic: ok
verify: Isync: check: deadlock: ok
verify: Isync: check: unreachable: ok
verify: Isync: check: livelock: ok
verify: Isync: check: deterministic: ok
verify: lts_diagnose_chain: check: deterministic: ok
verify: lts_diagnose_chain: check: illegal: ok
verify: lts_diagnose_chain: check: deadlock: ok
verify: lts_diagnose_chain: check: unreachable: ok
verify: lts_diagnose_chain: check: livelock: ok
verify: lts_diagnose_chain: check: compliance: ok
