liveness for each variable calculated.