package refactorings
added sample solution that checks in O(n) whether a binary tree is actually a BST