string -> Visitor.frama_c_visitor