Fusion fusion;
  FusionGuard fg(&fusion);

  // [i0]
  auto tv0 = makeSymbolicTensor(1);
  fusion.addInput(tv0);
  // [i1, i0]
  auto tv1 = makeSymbolicTensor(2);
  fusion.addInput(tv1);

  // [i0]
  auto tv2 = set(tv0);
  // [b2, i0]
  auto tv3 = broadcast(tv2, {true, false});
  // [i1, i0]
  auto tv4 = add(tv1, tv3);
  fusion.addOutput(tv4);

  // [i3]
  tv4->merge(0);

  // Set the loop domain of tv2 as the same as tv4 loop domain. Note that tv4 loop domain is already different from its logical domain because of its merge op

  // tv2
  {
    // tv2 is missing the first logical ID of tv4, i.e., i1. Use a clone of i1.
    auto missing_id = tv4->getLogicalDomain().at(0)->cloneWithoutRFactor();
    std::vector<IterDomain*> new_loop_domain{IterDomain::merge(missing_id, tv2->getLogicalDomain().at(0))};
    tv2->setLoopDomain(new_loop_domain);
  }

iS3{i0} is redundant in iS10{( i2 * i0 )}