Static analysis techniques for software verification can be applied also in the scenario of query languages. Why is static analysis impossible with query languages?