LiveUse and Def now computed for basic blocks