test-models/wf_componentNeedsProvides/wf_componentNeedsProvides.dzn:20:1: error: component with behavior must define a provides port
