added proof files for bst insert delete and find