Function seed_successful12_with_tickets 

pub fn seed_successful12_with_tickets(
    client: AgentName,
    server: AgentName,
) -> Trace<TLSProtocolTypes>