[Der Zustand] ... [Erweiterung : Zuweisung]
Eine Anweisungsliste ist eine Folge von Anweisungen, die geordnet ausgeführt werden. Syntaktisch
werden zwei Anweisungen durch ein ';' voneinander getrennt. Um die Semantik zu definieren,
findet der Operator o hier Anwendung, der folgendermaßen definiert ist :