InvariantCil.exp_contains_anon_comp_offset_visitor
inherit GoblintCil.nopCilVisitor
method voffs : GoblintCil.offset -> GoblintCil.offset GoblintCil.visitAction