docs: public void clearDerefSet(ValueNumber value) {
          if (UnconditionalValueDerefAnalysis.DEBUG) {
              System.out.println("Clearing dereference of " + value + " for # " + System.identityHashCode(this));
          }
          valueNumbersUnconditionallyDereferenced.clear(value.getNumber());
          derefLocationSetMap.remove(value);
      }