verify: Idata_full: check: deadlock: ok
verify: Idata_full: check: unreachable: ok
verify: Idata_full: check: livelock: ok
verify: Idata_full: check: deterministic: ok
verify: data_full_: check: deterministic: ok
verify: data_full_: check: illegal: ok
verify: data_full_: check: deadlock: ok
verify: data_full_: check: unreachable: fail
test-models/data_full/data_full.dzn:78:5: error: code will never be executed
test-models/data_full/data_full.dzn:124:9: error: code will never be executed
verify: data_full_: check: livelock: ok
verify: data_full_: check: compliance: ok
verify: proxy: check: deterministic: ok
verify: proxy: check: illegal: ok
verify: proxy: check: deadlock: ok
verify: proxy: check: unreachable: ok
verify: proxy: check: livelock: ok
verify: proxy: check: compliance: ok
