private DfaValue handleStackValueOnVariableFlush(DfaValue value,
                                                   DfaVariableValue flushed,
                                                   DfaVariableValue replacement) {
    if (value.dependsOn(flushed)) {
      DfType dfType = getDfType(value);
      if (value instanceof DfaVariableValue var && replacement != null) {
        DfaVariableValue target = replaceQualifier(var, flushed, replacement);
        if (target != value) return target;
      }
      return myFactory.fromDfType(dfType);
    }
    return value;
  }
private DfaValue handleStackValueOnVariableFlush(DfaValue value,
                                                   DfaVariableValue flushed,
                                                   DfaVariableValue replacement)