Performs liveness analysis on ILC