verify: itrigger: check: deadlock: ok
verify: itrigger: check: unreachable: ok
verify: itrigger: check: livelock: ok
verify: itrigger: check: deterministic: ok
verify: deadcode_otherwise_empty_absorb: check: deterministic: ok
verify: deadcode_otherwise_empty_absorb: check: illegal: ok
verify: deadcode_otherwise_empty_absorb: check: deadlock: ok
verify: deadcode_otherwise_empty_absorb: check: unreachable: ok
verify: deadcode_otherwise_empty_absorb: check: livelock: ok
verify: deadcode_otherwise_empty_absorb: check: compliance: ok
