Because there are cycles in the flow graph, I do not see how liveness can be computed in general without iteration and convergence on a solution.