Description
Currently `EquivalentExpressions` has 2 issues:
- identifying common expressions in conditional expressions is not correct in all cases
- transparently canonicalized expressions (like `PromotePrecision`) are considered common subexpressions
Currently `EquivalentExpressions` has 2 issues: