query: Security Features/CWE-730/ReDoS.ql
postprocess: TestUtilities/PrettyPrintModels.ql