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