If the given Id can be replaced with a simpler expression, return Some(expr) else None.
If the given Id can be replaced with a simpler expression, return Some(expr) else None.
If it is convenient, you might write a partial function and then call .lift to get the correct Function type
This implements a simplification rule on ExpressionDags