Likely Bugs/ShortLoopVarName.ql