protected BooleanTreeNode(BooleanTreeNode original, Cloner cloner)
   : base(original, cloner) {
   value = original.value;
 }
 protected BooleanTreeNode(BooleanTreeNode original, Cloner cloner)
     : base(original, cloner)
 {
     value = original.value;
 }