let visit_and_update_globals visitor file =
  do_and_update_globals (visitFramacFile visitor) file