query: experimental/CWE-369/DivideByZero.ql
postprocess: utils/test/PrettyPrintModels.ql