test/all/undefined/group/group.dzn:27:16: error: undefined identifier `foo'
