bad  tree: local test says BST, correct test says not a BST
good tree: local test says BST, correct test says BST
