public override Variable Duplicate()
{
VariableList v = new VariableList();
foreach (Variable vx in Values)
{
v.Push(vx.Duplicate(), "");
}
v.LastChanger = LastChanger;
v.LastChanged = LastChanged;
return(v);
}
