RedundantCode/NegativeLengthCheck.ql