The lattice for reaching definitions.
(reachingDefinitions: StringAdd).self
(reachingDefinitions: StringFormat).self
(reachingDefinitions: ArrowAssoc[ReachingDefinitions]).x
(Since version 2.10.0) Use leftOfArrow
instead
(reachingDefinitions: Ensuring[ReachingDefinitions]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Compute reaching definitions. We are only interested in reaching definitions for local variables, since values on the stack behave as-if in SSA form: the closest instruction which produces a value on the stack is a reaching definition.