Nein, bei der Aufgabe ist sicher 7 richtig. Der Fehler im Struktogramm ist, dass wenn zwei Tische reserviert werden sollen beim ersten geprüft wird ob er schon reserviert ist und dann gleich reserviert wird. Die Reservierung wird aber nicht aufgehoben wenn festgestellt wird, dass der zweite Tisch nicht frei ist. Dadurch bleibt der Tisch Nummer 3 reserviert und der dritte Gast nimmt den Tisch Nummer 7.
Ich habe das ganze schon mal getestet. Ich habe das Struktogramm fast 1 zu 1 in C umgesetzt. Quellcode auf der Ersten Seite letzter Beitrag. Da kam am Schluss auch 7 raus.