Project.t -> Visitor.frama_c_visitor