query: experimental/CWE-203/Timing.ql
postprocess: utils/test/PrettyPrintModels.ql