Používá se s výhodou při ladění programů. Jako Expression1 použijeme nějakou invariantu.
Expression1
assert Expression1; assert Expression1: Expression2;