Likely Bugs/NestedLoopSameVar.ql