private boolean isUnstableValue(DfaValue value) {
    if (!(value instanceof DfaVariableValue var)) return false;
    return !var.alwaysEqualsToItself(getDfType(var));
  }
private boolean isUnstableValue(DfaValue value)