private void readArrayElement(@NotNull PsiArrayAccessExpression expression) {
    DfaControlTransferValue transfer = createTransfer("java.lang.ArrayIndexOutOfBoundsException");
    DfaVariableValue staticValue =
      ObjectUtils.tryCast(JavaDfaValueFactory.getExpressionDfaValue(myFactory, expression), DfaVariableValue.class);
    addInstruction(new ArrayAccessInstruction(new JavaExpressionAnchor(expression), new ArrayIndexProblem(expression), transfer,
                                              staticValue));
  }
private void readArrayElement(@NotNull PsiArrayAccessExpression expression)