RelationPriv.Clustering12
All clusters of size 1 and 2.
val generate : GoblintCil.varinfo list -> GoblintCil.varinfo list list
val name : unit -> string