query: Likely Bugs/Arithmetic/UnsignedGEZero.ql
postprocess: utils/test/InlineExpectationsTestQuery.ql