Function satisfies_sketch

pub fn satisfies_sketch<L: Language, A: Analysis<L>>(
    s: &Sketch<L>,
    egraph: &EGraph<L, A>,
) -> HashSet<Id, FxBuildHasher>

Returns the set of e-classes of egraph that represent at least one program satisfying s.