Assertions kümmern sich nicht darum, ob dein Code fehlerfrei ist. Sie kümmern sich darum, ob das Ergebnis die Protokollinvarianten verletzt. So einfach ist das.
183