test-models/external_call_unreachable_state/external_call_unreachable_state.dzn:15:16: error: code will never be executed
test-models/external_call_unreachable_state/external_call_unreachable_state.dzn:16:16: error: code will never be executed
error: illegal action performed in model external_call_unreachable_state
model: external_call_unreachable_state
p.p
e.cmd
<illegal>
