Visitor.frama_c_visitor