public override SyntaxTreeNode Clone(Positions positions) { return new LeafRangeNode(this.Pos, this.min, this.max); }