@Override
  public @NotNull Instruction bindToFactory(@NotNull DfaValueFactory factory) {
    DfaControlTransferValue newTransfer = myOutOfBoundsTransfer == null ? null : myOutOfBoundsTransfer.bindToFactory(factory);
    DfaVariableValue newStaticValue = myStaticValue == null ? null : myStaticValue.bindToFactory(factory);
    return new ArrayAccessInstruction(getDfaAnchor(), myProblem, newTransfer, newStaticValue);
  }
@Override
  public @NotNull Instruction bindToFactory(@NotNull DfaValueFactory factory)