Added computation of live sets