let
visit_and_update_globals visitor file =
do_and_update_globals (visitFramacFile visitor) file