protected override void CloneTo (CloneContext clonectx, Statement t)
{
Switch target = (Switch) t;
target.Expr = Expr.Clone (clonectx);
target.Sections = new List<SwitchSection> ();
foreach (SwitchSection ss in Sections){
target.Sections.Add (ss.Clone (clonectx));
}
}
}