AutoTune.collectFunctionCallsVisitor
inherit GoblintCil.nopCilVisitor
method vinst : GoblintCil.instr -> GoblintCil.instr list GoblintCil.visitAction