Checking invariant
Checking precondition
Checking postcondition
Checking invariant
2
Checking invariant
Checking precondition
Checking postcondition
Checking invariant
4
Checking invariant
Checking precondition
Checking postcondition
Checking invariant
6
Checking invariant
Checking precondition
Checking postcondition
Checking invariant
6
Execution completed