Refactored liveness computation out of register allocation