Cil.visitor_behavior -> Visitor.frama_c_visitor