verify: ITrig: check: deadlock: ok
verify: ITrig: check: unreachable: ok
verify: ITrig: check: livelock: ok
verify: ITrig: check: deterministic: ok
verify: IDev: check: deadlock: ok
verify: IDev: check: unreachable: ok
verify: IDev: check: livelock: ok
verify: IDev: check: deterministic: ok
verify: deadcode_if_requires_state: check: deterministic: ok
verify: deadcode_if_requires_state: check: illegal: ok
verify: deadcode_if_requires_state: check: deadlock: ok
verify: deadcode_if_requires_state: check: unreachable: fail
test-models/deadcode_if_requires_state/deadcode_if_requires_state.dzn:29:25: error: code will never be executed
verify: deadcode_if_requires_state: check: livelock: ok
verify: deadcode_if_requires_state: check: compliance: ok
