query: Security Features/CWE-807/ConditionalBypass.ql
postprocess: TestUtilities/PrettyPrintModels.ql