protected bool TestEquals(UnaryFormulaTree other)
 {
     return TestEquals(Child, other.Child);
 }