@Override
      public void beforeValueReturn(@NotNull DfaValue value,
                                    @Nullable PsiExpression expression,
                                    @NotNull PsiElement owner,
                                    @NotNull DfaMemoryState state) {
        if (owner != myOwner || expression == null) return;
        myContexts.add(expression);
        myRange = myRange.join(DfIntType.extractRange(state.getDfType(value)));
      }
@Override
      public void beforeValueReturn(@NotNull DfaValue value,
                                    @Nullable PsiExpression expression,
                                    @NotNull PsiElement owner,
                                    @NotNull DfaMemoryState state)