Fix omittable exists.

Author: Max Schaefer

java/ql/automodel/src/AutomodelApplicationModeExtractNegativeExamples.ql

@@ -57,10 +57,10 @@ predicate candidate(
         isVarargsArray, _, extensibleType) and
   // It's valid for a node to be both a potential source/sanitizer and a sink. We don't want to include such nodes
   // as negative examples in the prompt, because they're ambiguous and might confuse the model, so we explicitly them here.
-  not exists(EndpointCharacteristic characteristic2, float confidence2, EndpointType type2 |
+  not exists(EndpointCharacteristic characteristic2, float confidence2 |
     characteristic2.appliesToEndpoint(endpoint) and
     confidence2 >= SharedCharacteristics::maximalConfidence() and
-    characteristic2.hasImplications(type2, true, confidence2)
+    characteristic2.hasImplications(endpoint.getAPotentialType(), true, confidence2)
   )
 }
 

java/ql/automodel/src/AutomodelFrameworkModeExtractNegativeExamples.ql

@@ -31,10 +31,10 @@ where
     _, extensibleType) and
   // It's valid for a node to be both a potential source/sanitizer and a sink. We don't want to include such nodes
   // as negative examples in the prompt, because they're ambiguous and might confuse the model, so we explicitly them here.
-  not exists(EndpointCharacteristic characteristic2, float confidence2, EndpointType type2 |
+  not exists(EndpointCharacteristic characteristic2, float confidence2 |
     characteristic2.appliesToEndpoint(endpoint) and
     confidence2 >= SharedCharacteristics::maximalConfidence() and
-    characteristic2.hasImplications(type2, true, confidence2)
+    characteristic2.hasImplications(endpoint.getAPotentialType(), true, confidence2)
   ) and
   message = characteristic
 select endpoint,