Some simple specs for BST