Instruction (@NotNull DfaValueFactory factory) { DfaControlTransferValue transfer = myOutOfBoundsTransfer == null ? null : myOutOfBoundsTransfer.bindToFactory(factory); DfaVariableValue staticVariable = myStaticVariable == null ? null : myStaticVariable.bindToFactory(factory); return new ArrayStoreInstruction(getDfaAnchor(), myIndexProblem, transfer, staticVariable); }