Identifies common relation subexpressions and places them behind
All structurally equivalent expressions, defined recursively as having structurally
equivalent inputs, and identical parameters, will be placed behind
The resulting expressions likely have an excess of
Let expressions, and therefore
we automatically run the
NormalizeLets transformation to remove those that are not necessary.
- Identifies common relation subexpressions and places them behind