During [[analysis]], all named expressions are assigned a globally unique expression id, which can be used for equality comparisons.