Better than CheckBST