public SwitchLabel Clone (CloneContext clonectx) { if (label == null) return this; return new SwitchLabel (label.Clone (clonectx), loc); } }