Likely Bugs/ContinueInFalseLoop.ql