verify: Itrig: check: deadlock: ok
verify: Itrig: check: unreachable: ok
verify: Itrig: check: livelock: ok
verify: Itrig: check: deterministic: ok
verify: Iq: check: deadlock: ok
verify: Iq: check: unreachable: ok
verify: Iq: check: livelock: ok
verify: Iq: check: deterministic: ok
verify: iface_nested_compound_guard: check: deterministic: ok
verify: iface_nested_compound_guard: check: illegal: ok
verify: iface_nested_compound_guard: check: deadlock: ok
verify: iface_nested_compound_guard: check: unreachable: ok
verify: iface_nested_compound_guard: check: livelock: ok
verify: iface_nested_compound_guard: check: compliance: ok
