query: queries/security/CWE-825/AccessAfterLifetime.ql
postprocess:
 - utils/test/PrettyPrintModels.ql
 - utils/test/InlineExpectationsTestQuery.ql