Meet/Join with different dims? about elina HOT 5 CLOSED

//loop through all of a, if b doesn't agree, then need to add a dimension
map<string, size_t> changePolys(elina_manager_t* man, opt_pk_array_t* aPoly, map<string, size_t>amap, opt_pk_array_t* bPoly, map<string, size_t>bmap){
  size_t sizeDim = amap.size() - 1;
  map<size_t,size_t> dim2dimMap{};
  for (auto avardim : amap) {
    string avar = avardim.first;
    size_t adim = avardim.second;
    auto it = bmap.find(avar)
    if( it != bmap.end()) {
      auto bdim = it->second;
      if (bdim != adim){
        dim2dimMap.insert(make_pair(bdim, ++sizeDim));
      }
    }
  }
  //exists in b but not a, need to move over still
  for (auto bvardim : bmap) {
    string bvar = bvardim.first;
    size_t bdim = bvardim.second;
    auto it = bmap.find(avar)
    if (it == amap.end()) {
      bDimToDimMap = bDimToDimMap.set(bdim, ++sizeDim);
    }
  }
  // Then loop through the B constraints
  // change the dims that need to be changed
  auto bArray = opt_pk_to_lincons_array(man, bpoly);
  for (int i = 0; i < bArray.size; ++i) {
    auto bcons = bArray.p[i];
    auto bexpr = bcons.linexpr0;
    auto bexprSize = bexpr->size;
    auto blinterms = bexpr->p.linterm;
    for (auto j = 0; j < bexprSize; ++j) {
      auto blinterm = blinterms[j];
      auto dim = blinterm.dim;
      auto it = bDimToDimMap.find(dim);
      if (it != bDimToDimMap.end()) {
        blinterm.dim = it->second;
      }
    }
  }

--------meet_test State 0--------
2
array of constraints of size 2
0: -x0 + 2147483647 >= 0
1: x0 + 2147483647 >= 0
--------meet_test State 1--------
2
array of constraints of size 2
0: -x1 + 2147483647 >= 0
1: x1 + 2147483647 >= 0
--------meet_test Meet State --------
4
array of constraints of size 4
0: -x0 + 2147483647 >= 0
1: x0 + 2147483647 >= 0
2: -x1 + 2147483647 >= 0
3: x1 + 2147483647 >= 0

--------join_test State 0--------
2
array of constraints of size 2
0: -x0 + 2147483647 >= 0
1: x0 + 2147483647 >= 0
--------join_test State 1--------
2
array of constraints of size 2
0: -x1 + 2147483647 >= 0
1: x1 + 2147483647 >= 0
--------join_test Join State--------
0
empty array of constraints