public override Statement VisitEndFilter(EndFilter endFilter)
{
if (endFilter == null) return null;
return base.VisitEndFilter((EndFilter)endFilter.Clone());
}
public override Statement VisitEndFilter(EndFilter endFilter)
{
endFilter = (EndFilter)endFilter.Clone();
endFilter.Value = simplify(endFilter.Value);
return endFilter;
}