Create CheckifBTreeIsABST