test/all/undefined/not/not.dzn:27:21: error: undefined identifier `c'
