Statements/UselessRangeCheck.ql