"Can we change the checkBST(u) specification to checkBST(u,L) where L is a list or some other argument?" . . . .