private @NotNull DfaVariableValue canonicalize(DfaVariableValue var) {
    DfaVariableValue qualifier = var.getQualifier();
    if (qualifier != null) {
      return var.withQualifier(canonicalizeQualifier(qualifier));
    }
    return var;
  }
private @NotNull DfaVariableValue canonicalize(DfaVariableValue var)