docs: private void checkNonNullReturnValue(XMethod thisMethod, Location location, ValueNumberFrame vnaFrame,
              UnconditionalValueDerefSet fact) throws DataflowAnalysisException {
          INullnessAnnotationDatabase database = AnalysisContext.currentAnalysisContext().getNullnessAnnotationDatabase();
  
          if (database.getResolvedAnnotation(thisMethod, true) != NullnessAnnotation.NONNULL) {
              return;
          }
          if (reportPotentialDereference(location, invDataflow.getFactAtLocation(location))) {
              ValueNumber vn = vnaFrame.getTopValue();
              fact.addDeref(vn, location);
          }
      }