public void AddBlockLabel(BasicBlock block, string label) { if (basicBlockToLabel != null && !basicBlockToLabel.ContainsKey(block)) { // Debug.Assert(!basicBlockToLabel.ContainsKey(block)); basicBlockToLabel[block] = label; } }