Ciltools.sidVisitor
inherit GoblintCil__.Cil.nopCilVisitor
val count : int Stdlib.ref
method vstmt : GoblintCil__.Cil.stmt -> GoblintCil__.Cil.stmt GoblintCil__.Cil.visitAction