assert Operator

Ist wieder eine Markierung, die eine Art Zusicherung darstellt. Sie besagt, dass das markierte Verhalten (die Interaktionen) nur genauso eintreten darf, wie es modelliert wurde.