Update verifySquenceOfBST