@Nullable Value getJdiValueForDfaVariable(@NotNull StackFrameProxyEx proxy,
                                            @NotNull DfaVariableValue var,
                                            @NotNull PsiElement anchor) throws EvaluateException;
@Nullable Value getJdiValueForDfaVariable(@NotNull StackFrameProxyEx proxy,
                                            @NotNull DfaVariableValue var,
                                            @NotNull PsiElement anchor)