Liveness analysis pass for Machine-SUIF