DownwardClosedCluster.ClusteringArg
val generate : GoblintCil.varinfo list -> GoblintCil.varinfo list list
val name : unit -> string