In TEST1 precondition
In TEST2 precondition
In TEST1 postcondition
In TEST2 postcondition
Execution completed