AutoTune.enumVisitor
inherit GoblintCil.nopCilVisitor
method vglob : GoblintCil.global -> GoblintCil.global list GoblintCil.visitAction