How can static analysis be useful with query languages