Visitor_behavior.t -> Visitor.frama_c_visitor