added beginning of binary tree verification