private void AddToLabelString(string methodName)
{
labelString.Append(methodName + "\n");
foreach (DictionaryEntry de in basicBlockToLabel)
{
BasicBlock block = (BasicBlock)de.Key;
string label = (string)de.Value;
labelString.Append(block.Name + " ");
labelString.Append(label + "\n");
}
basicBlockToLabel = null;
}