Follow Digraph changes in RegLiveness