@pablogsal Any chance you want to help get #13600 finished?

@nedbat Sure, I will talk with Victor to see if we can push it forward.

@serhiy-storchaka What do you think about this approach?

I have rebased and address the feedback. Also, I have added a max cap of iterations (although is not needed, it can be proven that the while loop will always finish) to make sure the time expended in the loop is always bounded.

@markshannon I have added some comments as requested, check if they look good to you :)

CC: @Yhg1s

This is the code that is failing the assert currently:

def f(cond1, cond2):
    while 1:
        return 3
    while 1:
        return 5
    return 6

GH-15970 should fix the lnotab issue.