SequenceDiagram for CheckInSingleTicket use case