@Override
  public int @NotNull [] getSuccessorIndexes() {
    if (myTransferValue == null) {
      return new int[]{getIndex() + 1};
    }
    return ArrayUtil.append(myTransferValue.getPossibleTargetIndices(), getIndex() + 1);
  }
@Override
  public int @NotNull [] getSuccessorIndexes()