Method is23

src/test/resources/pta/basic/RedBlackBST.java:383–385

()

    }

    private boolean is23() {
        return is23(root);
    }

    private boolean is23(Node x) {
        if (x == null) return true;