Update IsBST1.c