@Override
  public @NotNull Instruction bindToFactory(@NotNull DfaValueFactory factory) {
    DfaControlTransferValue transfer = myOutOfBoundsTransfer == null ? null : myOutOfBoundsTransfer.bindToFactory(factory);
    DfaVariableValue staticVariable = myStaticVariable == null ? null : myStaticVariable.bindToFactory(factory);
    return new JavaArrayStoreInstruction(myExpression, myValueExpression, transfer, staticVariable);
  }
@Override
  public @NotNull Instruction bindToFactory(@NotNull DfaValueFactory factory)