protected bool TestEquals(BinaryFormulaTree other) { return(TestEquals(FirstChild, other.FirstChild) && TestEquals(SecondChild, other.SecondChild)); }
protected bool TestEquals(BinaryFormulaTree other) { return TestEquals(FirstChild, other.FirstChild) && TestEquals(SecondChild, other.SecondChild); }