Liveness data flow analysis is just a phase a compiler and JITs go through. They'll eventually cease murdering heap and stack values once they've decided to halt. Unfortunately, they use a disposable Erlang distribution Schrödinger cat box to make each decision. Not sure what they do with all the no-longer-cats or what sort of sensor detects ex-cats.

Schrödinger couldn't just invent a cyanide sensor. He was definitely a psychopathic serial killer in addition to being a serial pedophile (this bit is true).