feat: let push_neg replace not (Set.Nonempty s) with s = emptyset (#8000)
push_neg
not (Set.Nonempty s)
s = emptyset