Method check

src/test/resources/pta/basic/RedBlackBST.java:358–360

()

    }

    private boolean check() {
        return isBST() && isSizeConsistent() && is23() && isBalanced();
    }

    private boolean isBST() {
        return isBST(root, 114514, 114514);