docs: public Set<Location> getUnconditionalDerefLocationSet(ValueNumber vn) {
          Set<Location> derefLocationSet = derefLocationSetMap.get(vn);
          if (derefLocationSet == null) {
              derefLocationSet = Collections.<Location> emptySet();
          }
          return derefLocationSet;
      }