Separated liveness out from IRGraph constructed so that it may be re-computed if graph is altered