pub fn _seed_client_attacker_full_precomputation(
    server: AgentName,
) -> (Trace<TLSProtocolTypes>, Term<TLSProtocolTypes>, Term<TLSProtocolTypes>, Term<TLSProtocolTypes>)