verify: unreachable_interface: check: deadlock: ok
verify: unreachable_interface: check: unreachable: fail
test-models/unreachable_interface/unreachable_interface.dzn:39:5: error: code will never be executed
test-models/unreachable_interface/unreachable_interface.dzn:44:16: error: code will never be executed
test-models/unreachable_interface/unreachable_interface.dzn:45:16: error: code will never be executed
verify: unreachable_interface: check: livelock: ok
verify: unreachable_interface: check: deterministic: ok
