Function sorted_bool_exprs_are_subset 

fn sorted_bool_exprs_are_subset(
    subset: &[BoolExpr],
    superset: &[BoolExpr],
) -> bool

Returns whether every expression in sorted subset appears in sorted superset.