C#: Use any instead of exists.

Author: michaelnebel

csharp/ql/src/Bad Practices/VirtualCallInConstructorOrDestructor.ql

@@ -34,17 +34,15 @@ predicate overriddenSealed(RefType t, Virtualizable d) {
 }
 
 predicate virtualAccessWithThisQualifier(Expr e, Member d) {
-  exists(VirtualMethodCall c |
-    c = e and c.getTarget() = d and c.hasThisQualifier() and not c.isImplicit()
-  )
+  e = any(VirtualMethodCall c | c.getTarget() = d and c.hasThisQualifier() and not c.isImplicit())
   or
-  exists(VirtualMethodAccess c | c = e and c.getTarget() = d and c.hasThisQualifier())
+  e = any(VirtualMethodAccess c | c.getTarget() = d and c.hasThisQualifier())
   or
-  exists(VirtualPropertyAccess c | c = e and c.getTarget() = d and c.hasThisQualifier())
+  e = any(VirtualPropertyAccess c | c.getTarget() = d and c.hasThisQualifier())
   or
-  exists(VirtualIndexerAccess c | c = e and c.getTarget() = d and c.hasThisQualifier())
+  e = any(VirtualIndexerAccess c | c.getTarget() = d and c.hasThisQualifier())
   or
-  exists(VirtualEventAccess c | c = e and c.getTarget() = d and c.hasThisQualifier())
+  e = any(VirtualEventAccess c | c.getTarget() = d and c.hasThisQualifier())
 }
 
 from Expr e