Function grow_egraph_until

pub fn grow_egraph_until<L, A, S>(
    search_name: &str,
    egraph: EGraph<L, A>,
    rules: &[Rewrite<L, A>],
    satisfied: S,
) -> EGraph<L, A>
where
    S: FnMut(&mut Runner<L, A>) -> bool + 'static,
    L: Language,
    A: Analysis<L> + Default,