test-models/wf_illegalOnlyStatement/wf_illegalOnlyStatement.dzn:15:9: error: cannot use illegal with imperative statements
test-models/wf_illegalOnlyStatement/wf_illegalOnlyStatement.dzn:16:7: info: imperative statement here
