private boolean updateDependentVariables(DfaVariableValue dfaVar, DfType type) {
    if (!updateQualifierOnEquality(dfaVar, dfaVar)) return false;
    EqClass eqClass = getEqClass(dfaVar);
    if (eqClass != null) {
      type = type.fromRelation(RelationType.EQ);
      for (DfaVariableValue value : eqClass.asList()) {
        if (value != dfaVar) {
          recordVariableType(value, type.meet(getDfType(value)));
          if (!updateQualifierOnEquality(value, value)) return false;
        }
      }
    }
    return true;
  }
private boolean updateDependentVariables(DfaVariableValue dfaVar, DfType type)