let
visit_and_push_statements_visitor visitor =
new
proxy_frama_c_visitor visitor