Project.t -> Cil.visitor_behavior -> Visitor.frama_c_visitor