boolean (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(value.getInherentType())); if (!updateQualifierOnEquality(value, value)) return false; } } } return true; }