@Override
  public void setDfType(@NotNull DfaValue value, @NotNull DfType dfType) {
    if (value instanceof DfaVariableValue) {
      recordVariableType((DfaVariableValue)value, dfType);
    }
  }
@Override
  public void setDfType(@NotNull DfaValue value, @NotNull DfType dfType)