- New liveness analysis, smaller memory use profile