Failing nested optimized function case

[trueadm]

Another failing nested optimized function case:

function fn(x, y, obj, cond) {
  var arr = Array.from(x);
  var arr2 = Array.from(y);

  var a = obj.a;
  
  var res = arr.map(function(item) {
    if (cond) {
      return a;
    }
  });

  var res2 = arr2.map(function(item) {
    if (cond) {
      return a;
    }
  });

  return [res, res2];
}

__optimize(fn);

We hit an invariant with this particular case

[trueadm]

Like the other issue, if I use explicit nested optimized functions:

function fn(x, y, obj, cond) {
  var arr = x;
  var arr2 = y;

  var a = obj.a;
  
  var mapper1 = function(item) {
    if (cond) {
      return a;
    }
  };
  __optimize(mapper1);
  var res = arr.map(mapper1);

  var mapper2 = function(item) {
    if (cond) {
      return a;
    }
  };
  __optimize(mapper2);
  var res2 = arr2.map(mapper2);

  return [res, res2];
}

__optimize(fn);

Update: this now works with the latest changes on master. Note that the logic in this test case is different from that of above, as the map function and the array are both havoced.