sig val do_visit : ?prj:Project.t -> bool -> Visitor.frama_c_visitor end