@NotNull
  public DfaVariableValue createTempVariable(@Nullable PsiType type) {
    return myAnalyzer.createTempVariable(type);
  }
@NotNull
  public DfaVariableValue createTempVariable(@Nullable PsiType type)