Simplify test predicate implementation.

Co-authored-by: Anders Schack-Mulligen <[email protected]>

Author: michaelnebel

java/ql/test/utils/model-generator/typebasedflow/CaptureTypeBasedSummaryModels.ql

@@ -10,15 +10,15 @@ private string flows() { exists(TypeBasedFlowTargetApi api | result = captureFlo
 query predicate unexpectedSummary(string msg) {
   exists(string flow |
     flow = flows() and
-    not exists(string e | e = expects() and e = flow) and
+    not flow = expects() and
     msg = "Unexpected summary found: " + flow
   )
 }
 
 query predicate expectedSummary(string msg) {
   exists(string e |
     e = expects() and
-    not exists(string flow | flow = flows() and e = flow) and
+    not e = flows() and
     msg = "Expected summary missing: " + e
   )
 }