DfaValue (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; }