let visit_and_trace_framac visit visitor file = let visitor = new trace_frama_c_visitor visitor in visit visitor file