def ritsen(l1,l2):
    "LOOPINVARIANT:"
    "lijst1 bevat de lijst waarin elemnten voor n vanuit lijst 2 ingeritst zijn"
    "verband tussen oorspronkelijke en nieuwe toestadn van de lisjt is dat de eerste n elementen van lisjt2 ertussen geritst zijn" \
    "voor of na het overeenkomstie element van lijst1 afhankelijk van de grootte"
    n=0
    lengte_list1=int(len(l1))
    while n <lengte_list1 and n<len(l2):

        if l1[2*n]<=l2[n]:

            l1=l1[:2*n+1]+[l2[n]]+l1[2*n+1:]
        else:
            l1=l1[:2*n]+[l2[n]]+l1[2*n:]
        n+=1
    global lijst1
    lijst1=l1
    if len(l2)>lengte_list1:
        lijst1+=l2[n:]

lijst1=[1,2,4,5]
lijst2=[2,3,4,9]
ritsen(lijst1,lijst2)
assert lijst1==[1,2,2,3,4,4,5,9]
#dus das een functie die lijst2 in lijst1 ritst maar welk element(allee van welke lijst) het eerst komt hangt af van de grootte van uw element
#en dus als ik da debug zie ik da er het juiste gebeurt, maar mijn lijst1 wordt nie permament aangepast wa wel zou moeten snaptge, want da wordt verwacht
#door hoeda die test geschreven is, wan tkzou daar gwn kunnen zetten lijst1=ritsen (lijst1,lijst2) en dan een return lijst1 invoegen in mijn body
#ma ja dan moet ik de test aanpassen en ik denk nie da die man daar mee gaat lachen als ik op het exmaen schrijff meneer uw testen zijn stom
#en ook zo'n loopinvariant ik vind da altijd maar een beetje vaag om da te schrijven, is daar een goeie methode voor ofz?