test/all/undefined/and/and.dzn:27:29: error: undefined identifier `c'
