test-models/wf_illegalInFunction/wf_illegalInFunction.dzn:15:15: error: cannot use illegal in function
