public override SyntaxTreeNode Clone(Positions positions) {
InteriorNode other = (InteriorNode)this.MemberwiseClone();
other.LeftChild = leftChild.Clone(positions);
if (rightChild != null) {
other.RightChild = rightChild.Clone(positions);
}
return other;
}