protected override bool TestEquals(FormulaTree other) { return TestEquals((UnaryFormulaTree) other); }