test-models/wf_declarativeImperative/wf_declarativeImperative.dzn:15:7: error: imperative statement expected
test-models/wf_declarativeImperative/wf_declarativeImperative.dzn:19:7: error: imperative statement expected
