AutoTune.octagonFunctionVisitor
inherit GoblintCil.nopCilVisitor
method vfunc : GoblintCil.fundec -> GoblintCil.fundec GoblintCil.visitAction