Address review comment

Author: hvitved

rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll

@@ -132,24 +132,17 @@ private predicate summaryModelRelevant(
   QlBuiltins::ExtensionId madId
 ) {
   exists(boolean isExact | summaryModel(f, input, output, kind, provenance, isExact, madId) |
-    (
-      provenance.isManual()
-      or
-      // only apply generated models to functions not defined in source code, and
-      // when there are no exact manual models for the functions
-      provenance.isGenerated() and
-      not any(Provenance manual | summaryModel(f, _, _, _, manual, true, _)).isManual() and
-      not f.fromSource()
-    ) and
-    (
-      isExact = true
-      or
-      // only apply trait models to concrete implementations when they are not
-      // defined in source code, and when there are no exact model for the functions
-      isExact = false and
-      not summaryModel(f, _, _, _, provenance, true, _) and
-      not f.fromSource()
-    )
+    // Only apply generated or inherited models to functions in library code and
+    // when no strictly better model exists
+    if provenance.isGenerated() or isExact = false
+    then
+      not f.fromSource() and
+      not exists(Provenance other | summaryModel(f, _, _, _, other, true, _) |
+        provenance.isGenerated() and other.isManual()
+        or
+        provenance = other and isExact = false
+      )
+    else any()
   )
 }