The lattice for this analysis.
(liveness: StringAdd).self
(liveness: StringFormat).self
(liveness: ArrowAssoc[Liveness]).x
(Since version 2.10.0) Use leftOfArrow
instead
(liveness: Ensuring[Liveness]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Compute liveness information for local variables.