default void beforeValueReturn(@NotNull DfaValue value,
                                 @Nullable PsiExpression expression,
                                 @NotNull PsiElement context,
                                 @NotNull DfaMemoryState state) {

  }
default void beforeValueReturn(@NotNull DfaValue value,
                                 @Nullable PsiExpression expression,
                                 @NotNull PsiElement context,
                                 @NotNull DfaMemoryState state)