Delete the duplicate and stale BasicBlockNumbering