test-models/wf_parameterBinding/wf_parameterBinding.dzn:30:16: error
      fn(number <- nr);
               ^
               `comma' expected
