let retype_struct_variables file = let visitor = new retypeStructVariables in visit_and_push_statements visit_and_update_globals visitor file