The pipeline step folding every fully static expression to the term it evaluates to.
the transformation
The pipeline step folding every fully static expression to the term it evaluates to.