TransitionInvariant.exp_has_transition_visitor
inherit GoblintCil.nopCilVisitor
method vvrbl : GoblintCil.varinfo -> GoblintCil.varinfo GoblintCil.visitAction