RelationPriv.ClusteringPower
All subset clusters.
val generate : GoblintCil.varinfo list -> GoblintCil.varinfo list list
val name : unit -> string