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