BST { public boolean find(int value) { if (root != null) return root.search(value); return false; } BST(); void add(int value); void delete(int value); boolean find(int value);  }
@Test public void testFind() throws Exception { BST test = new BST(); test.add(5); test.add(4); test.add(6); test.add(3); test.add(7); assertTrue(CheckInvariants(test)); assertTrue(test.find(5)); assertTrue(test.find(4)); assertTrue(test.find(6)); assertTrue(test.find(3)); assertTrue(test.find(7)); }