test-models/illegal_requires/illegal_requires.dzn:16:16: error: code will never be executed
error: illegal action performed in model illegal_requires
model: illegal_requires
h.hello
w.world
<illegal>
