The immutable state of the phase that can also be accessed by other phases.
Run the phase
Recursively inline mapping Bind calls under an Aggregate
Find all scalar Aggregate calls in a sub-tree that do not refer to the given Symbol, and replace them by temporary Refs.
The unique name of the phase