public SwitchSection Clone (CloneContext clonectx)
{
var cloned_labels = new List<SwitchLabel> ();
foreach (SwitchLabel sl in Labels)
cloned_labels.Add (sl.Clone (clonectx));
return new SwitchSection (cloned_labels, clonectx.LookupBlock (Block));
}
}