Das ist dann zwar (in meinen Augen) auch die einleuchtende Erklärung, warum der Wechsel lohnt (ohne dass man das Programm überhaupt laufen lassen muss), aber enthält wahrscheinlich zu viele Annahmen, als das ein (un)voreingenommener Betrachter das Programm als korrekt akzeptieren würde? Freue mich über Kommentare ...