It tests the *new* implemented behaviour : perform logout and then delete ticket. The "opposite" (delete ticket and perform logout) cannot be tested without changing the source code and reverting to the *old* behaviour...