docs: public Set<Location> getDerefLocationSet(ValueNumber vn) {
          Set<Location> derefLocationSet = derefLocationSetMap.get(vn);
          if (derefLocationSet == null) {
              derefLocationSet = new HashSet<>();
              derefLocationSetMap.put(vn, derefLocationSet);
          }
          return derefLocationSet;
      }