Fix a bug in the loop in JumpThreading::ProcessThreadableEdges() where it could false...