docs: private void checkUnconditionalDerefDatabase(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
              throws DataflowAnalysisException {
          ConstantPoolGen constantPool = methodGen.getConstantPool();
  
          for (ValueNumber vn : checkUnconditionalDerefDatabase(location, vnaFrame, constantPool,
                  invDataflow.getFactAtLocation(location), typeDataflow)) {
              fact.addDeref(vn, location);
          }
      }