test-models/wf_parameterDataType/wf_parameterDataType.dzn:13:20: error: type mismatch: parameter `c'; expected extern, found: `Sensor.Code'
