Verifizierbarkeit zum Stack hinzufügen