query: Critical/OverflowDestination.ql
postprocess: utils/test/InlineExpectationsTestQuery.ql