fn expr_has_dynamic_value( hir: &Hir<'_>, taint: &HashMap<VariableId, HashSet<VariableId>>, dynamic_taint: &HashSet<VariableId>, expr: &Expr<'_>, ) -> bool