InvariantCil.exp_replace_original_name_visitor
inherit GoblintCil.nopCilVisitor
method vvrbl : GoblintCil.varinfo -> GoblintCil.varinfo GoblintCil.visitAction