docs: private void checkNonNullParams(Location location, ValueNumberFrame vnaFrame, UnconditionalValueDerefSet fact)
              throws DataflowAnalysisException {
          ConstantPoolGen constantPool = methodGen.getConstantPool();
          Set<ValueNumber> nonNullParams = checkNonNullParams(location, vnaFrame, constantPool, method,
                  invDataflow.getFactAtLocation(location));
          for (ValueNumber vn : nonNullParams) {
              fact.addDeref(vn, location);
          }
      }