// create a copy ofthe variables without annotations
private List <Variable> DropAnnotations(List <Variable> vars)
{
var ret = new List <Variable>();
var dup = new Duplicator();
vars.Select(v => dup.VisitVariable(v)).Iter(v =>
{
v.Attributes = null;
ret.Add(v);
});
return(ret);
}
