RelationPriv.ClusteringMax
One maximum cluster.
val generate : GoblintCil.varinfo list -> GoblintCil.varinfo list list
val name : unit -> string