Likely Bugs/Termination/ConstantLoopCondition.ql