@Override
  public int @NotNull [] getPossibleTargets() {
    Collection<? extends ControlFlow.ControlFlowOffset> values = myClauses.values();
    int[] result = new int[values.size()];
    int i = 0;
    for (ControlFlow.ControlFlowOffset value : values) {
      result[i++] = value.getInstructionOffset();
    }
    return result;
  }
@Override
  public int @NotNull [] getPossibleTargets()