private Block CloneBlockIntoOtherProcedure(Block block, Procedure proc)
{
Debug.Print("Cloning {0} to {1}", block.Name, proc);
var clonedBlock = new BlockCloner(block, proc, program.CallGraph).Execute();
//ReplaceSuccessorsWith(pred, block, clonedBlock);
//pred.Procedure.ControlGraph.Blocks.Remove(block);
return clonedBlock;
}