int n;
  if (point.isParent()) {
    // The op itself branches to `init` first.
    regions.push_back(
        RegionSuccessor(&getInit(), getInit().front().getArguments()));
  } else if (point.getRegionOrNull() == &getInit()) {
    // `init` branches to `next`, passing along the arguments given to `init`'s
    // yield. Said arguments precede the "other args".
    n = getInitFuncOtherArgs().size();