verify: ihello: check: deadlock: ok
verify: ihello: check: unreachable: fail
test-models/illegal_requires/illegal_requires.dzn:16:16: error: code will never be executed
verify: ihello: check: livelock: ok
verify: ihello: check: deterministic: ok
verify: illegal_requires: check: deterministic: ok
verify: illegal_requires: check: illegal: fail
error: illegal action performed in model illegal_requires
model: illegal_requires
h.hello
w.world
<illegal>
verify: illegal_requires: check: deadlock: ok
verify: illegal_requires: check: unreachable: skip
verify: illegal_requires: check: livelock: ok
verify: illegal_requires: check: compliance: skip
