fn vars_used_in_unprotected_arithmetic<'hir>( hir: &'hir Hir<'hir>, contract: &Contract<'hir>, candidate_vars: &HashSet<VariableId>, protected_funcs: &HashSet<FunctionId>, ) -> HashSet<VariableId>