Instruction (@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); }