docs: public void addDeref(ValueNumber vn, Location location) {
          if (UnconditionalValueDerefAnalysis.DEBUG) {
              System.out.println("Adding dereference of " + vn + " to # " + System.identityHashCode(this) + " @ " + location);
          }
          valueNumbersUnconditionallyDereferenced.set(vn.getNumber());
  
          Set<Location> derefLocationSet = getDerefLocationSet(vn);
          derefLocationSet.add(location);
      }