public boolean isSameAs(UnconditionalValueDerefSet otherFact){
  return valueNumbersUnconditionallyDereferenced.equals(otherFact.valueNumbersUnconditionallyDereferenced) && derefLocationSetMap.equals(otherFact.derefLocationSetMap);
}

public boolean isSameAs ( UnconditionalValueDerefSet otherFact ) { return valueNumbersUnconditionallyDereferenced . equals ( otherFact . valueNumbersUnconditionallyDereferenced ) && derefLocationSetMap . equals ( otherFact . derefLocationSetMap ) ; }
return whether or not this dataflow fact is identical to the one given .
