let visit_and_push_statements visit visitor file = let visitor = new proxy_frama_c_visitor visitor in visit visitor file