test-models/wf_interfaceMustDefineEvent/wf_interfaceMustDefineEvent.dzn:9:1: error: interface must define an event
