[Question] How to eliminate cartesian product for negation

Hello,

I have the following code :
```
class Foo extends Class {
Foo() {
not isAbstract()
and exists(Bar i | extendsOrImplements(i))
}
```

My understanding from the documentation (https://codeql.github.com/docs/writing-codeql-queries/troubleshooting-query-performance/#eliminate-cartesian-products) is that can lead to computing the cartesian product of the two sets, is it possible to improve the performance of this class?

Comience con la documentación enlazada sobre la resolución de problemas de rendimiento de consultas de CodeQL y la expresión de predicado proporcionada. No se especifica ningún archivo fuente ni ninguna prueba, así que investigue cómo se evalúan la negación y exists en este contexto de consulta. Se considera terminado cuando se proporcione una explicación fundamentada o una guía de documentación para evitar el coste del producto cartesiano indicado.

Escrito por el modelo de indexación a partir del texto del issue.