test-models/wf_onEventInOnEvent/wf_onEventInOnEvent.dzn:17:9: error: imperative statement expected
test-models/wf_onEventInOnEvent/wf_onEventInOnEvent.dzn:17:9: error: nested on used
test-models/wf_onEventInOnEvent/wf_onEventInOnEvent.dzn:14:5: info: within on here
