test-models/wf_imperativeDeclarative/wf_imperativeDeclarative.dzn:16:7: error: declarative statement expected
