Invariante:
verbrauchte Eingabe ist aus Spiegelbild des Kellers ableitbar
Aktionen im Keller:
reduce (mit Regel Tw):
Anfangsstück w des Kellers durch T ersetzen