AbstractDomain.InvertedSetLift a set to a powerset domain ordered by superset, so the join operator is intersection
include IStdlib.PrettyPrintable.PPSet with type elt = Element.tval is_singleton_or_more : t -> elt IStdlib.IContainer.singleton_or_moreinclude IStdlib.PrettyPrintable.PrintableType with type t := tval pp_element : IStdlib.PrettyPrintable.F.formatter -> elt -> unit