Likely Bugs/Conversion/CastArrayPointerArithmetic.ql