the reason why we remove the converging flag of LoopBreakers is actually
non-obvious, and has little to do with the termination analysis per se.
Document that with an extensive note and guard it with two test cases.