Visitor_behavior
.t
->
Visitor
.frama_c_visitor