Prove log out really logs you out: a write exercise in test automation