InList support for pre-image udf

[sdf-jkl]

Is your feature request related to a problem or challenge?

With #18320 closed we now support evaluating pre-image for binary comparison operators: (=, !=, >, >=, <. <=, is distinct from, is not distinct from)

It would be great to extend preimage to support InList expressions, like:
where date_part(col, 'YEAR') IN (2024, 2025)

• part of [EPIC] Simplify datetime predicates using "preimages" #19946

Describe the solution you'd like

Add Inlist expression support to expr_simplifier.rs, similar to unwrap_cast

datafusion/datafusion/optimizer/src/simplify_expressions/expr_simplifier.rs

Lines 1946 to 1948 in 20d5f06

	// For case:
	// try_cast/cast(expr as left_type) in (expr1,expr2,expr3)
	Expr::InList(InList {

Describe alternatives you've considered

No response

Additional context

No response

[sdf-jkl]

take