let visit_and_push_statements_visitor visitor =
  new proxy_frama_c_visitor visitor