MakeCFG.vidVisitor
inherit GoblintCil.nopCilVisitor
val count : int Stdlib.ref
method vvdec : GoblintCil.varinfo -> GoblintCil.varinfo GoblintCil.visitAction