avoid infinite loops in AllocaManager::computeInterBlockLiveness