Calling violate_precondition
Assertion violation detected
Calling violate_postcondition
Assertion violation detected
Calling violate_invariant
Assertion violation detected
Calling violate_loop
Assertion violation detected
Calling violate_check
Check assertion violation not detected
Execution completed