Function check_crdt_convergence 

pub fn check_crdt_convergence<C>(
    seed_state: &C,
    deltas: &[C::Delta],
) -> Result<LawReport, LawFailure>
where
    C: Crdt + Clone + PartialEq,
    C::Delta: Clone,