test-models/wf_componentNeedsTrigger/wf_componentNeedsTrigger.dzn:18:1: error: component with behavior must define a provides port
test-models/wf_componentNeedsTrigger/wf_componentNeedsTrigger.dzn:18:1: error: component with behavior must have a trigger
test-models/wf_componentNeedsTrigger/wf_componentNeedsTrigger.dzn:35:1: error: component with behavior must have a trigger
