Python: Do pruning in QL.#1292

taus-semmle merged 11 commits into

github:mastergithub/codeql:masterfrom

markshannon:python-prune-in-qlmarkshannon/ql:python-prune-in-qlCopy head branch name to clipboard